https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88343
--- Comment #25 from Segher Boessenkool <segher at gcc dot gnu.org> --- I don't see that; I get f1: .LFB0: .cfi_startproc b foo@plt .cfi_endproc .LFE0: What extra options do I need? Or, what other target (you didn't say, I used powerpc-linux).