http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51281
--- Comment #1 from Jason Garrett-Glaser <darkshikari at gmail dot com> 2011-11-23 05:08:35 UTC --- Correction, the gcc 4.5.3 output is: 0000000000000000 <foo>: 0: mov eax, [rdi] 2: mov edx, 0x64 7: nop 10: inc eax 12: sub edx, 0x1 15: mov [rdi], eax 17: jne 10 <foo+0x10> 19: repz ret