> Yes, catching all such cases hasn't been trivial. If we miss some, > then what happens is that -O2 -g -fvar-tracking-assignments outputs > different executable code than -O2.
But that's a very serious type of bug because it means you have situations where a program fails and you can't debug it because when you turn on debugging information, it doesn't fail anymore. We need to make an absolute rule that this *cannot* happen and luckily this is one of the easiest types of errors to project against.