------- Comment #8 from hjl dot tools at gmail dot com 2009-12-08 18:26 ------- Both icc and gcc generate:
[...@gnu-26 pr42324]$ cat b4.c extern unsigned int bartmp; void foo(_Bool bar) { bartmp = bar; } [...@gnu-26 pr42324]$ objdump -dw b4.o b4.o: file format elf64-x86-64 Disassembly of section .text: 0000000000000000 <foo>: 0: 40 0f b6 ff movzbl %dil,%edi 4: 89 3d 00 00 00 00 mov %edi,0x0(%rip) # a <foo+0xa> a: c3 retq [...@gnu-26 pr42324]$ -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42324