https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92204
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |aoliva at gcc dot gnu.org --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- main () { <bb 2> [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG i => 0 # DEBUG BEGIN_STMT # DEBUG i => 1 # DEBUG BEGIN_STMT return 0; } main: .LFB0: .file 1 "t.c" .loc 1 2 1 .cfi_startproc .loc 1 3 3 .LVL0: .loc 1 4 3 .loc 1 5 3 .loc 1 6 1 is_stmt 0 xorl %eax, %eax ret So I guess this is an issue with SFN not supported by gdb. Note that for me it always prints 1 (at 'start' as well as at end). Note there are not enough different PCs to describe all program states without SFN. I have tried gdb 8.2.