http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53220
--- Comment #1 from Paul Pluzhnikov <ppluzhnikov at google dot com> 2012-05-03 19:53:07 UTC --- gcc-compiled code for reference: (gdb) disas main Dump of assembler code for function main: 0x0000000000400540 <+0>: push %rbp 0x0000000000400541 <+1>: mov $0x1,%esi 0x0000000000400546 <+6>: mov $0x2,%ebp 0x000000000040054b <+11>: push %rbx 0x000000000040054c <+12>: sub $0x18,%rsp 0x0000000000400550 <+16>: movl $0x1,(%rsp) <<=== 0x0000000000400557 <+23>: movl $0x2,0x4(%rsp) <<=== 0x000000000040055f <+31>: mov %rsp,%rbx 0x0000000000400562 <+34>: movl $0x3,0x8(%rsp) <<=== 0x000000000040056a <+42>: movl $0x0,0xc(%rsp) <<=== 0x0000000000400572 <+50>: jmp 0x40057d <main+61> 0x0000000000400574 <+52>: nopl 0x0(%rax) 0x0000000000400578 <+56>: mov %ebp,%esi 0x000000000040057a <+58>: mov 0x4(%rbx),%ebp 0x000000000040057d <+61>: xor %eax,%eax 0x000000000040057f <+63>: mov $0x40068c,%edi 0x0000000000400584 <+68>: add $0x4,%rbx 0x0000000000400588 <+72>: callq 0x4003b8 <printf@plt> 0x000000000040058d <+77>: test %ebp,%ebp 0x000000000040058f <+79>: jne 0x400578 <main+56> 0x0000000000400591 <+81>: add $0x18,%rsp 0x0000000000400595 <+85>: xor %eax,%eax 0x0000000000400597 <+87>: pop %rbx 0x0000000000400598 <+88>: pop %rbp 0x0000000000400599 <+89>: retq End of assembler dump.