https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92382
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- This boils down to int main () { volatile int v = 0; { v++; v++; volatile int v = 4; v++; } } >From what I see, this is handled correctly in the generated code, so it is just the debugging issue.