http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37245
nicolas.boulenguez at free dot fr changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |nicolas.boulenguez at free | |dot fr --- Comment #3 from nicolas.boulenguez at free dot fr 2011-08-31 23:59:48 UTC --- Linux 3.0.0-1-amd64 x86_64 gcc 4.6.1 (-5 in debian) and gdb 7.2 (-debian) gdb reports the correct answer $1 = 42