https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81850
Daniel Santos <daniel.santos at pobox dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |INVALID --- Comment #2 from Daniel Santos <daniel.santos at pobox dot com> --- Hmm, interestingly I cannot reproduce the error, so I must have made a mistake somewhere: $ cat abitest.c void __attribute__((sysv_abi))(*volatile foo) (void); void bar (void) { foo (); } /d/builds/x86_64-pc-cygwin/head-minimal/gcc/xgcc -B/d/builds/x86_64-pc-cygwin/head-minimal/gcc -c -mabi=sysv -o abitest.o abitest.c && objdump -dr abitest.o abitest.o: file format pe-x86-64 Disassembly of section .text: 0000000000000000 <bar>: 0: 55 push %rbp 1: 48 89 e5 mov %rsp,%rbp 4: 48 8d 05 00 00 00 00 lea 0x0(%rip),%rax # b <bar+0xb> 7: R_X86_64_PC32 foo-0x8 b: 48 8b 00 mov (%rax),%rax e: ff d0 callq *%rax 10: 90 nop 11: 5d pop %rbp 12: c3 retq 13: 90 nop ... which is correct.