http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55142
--- Comment #13 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-11-01 14:20:17 UTC --- Created attachment 28591 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28591 Tentative fix This generates (essentially) the same RTL as in non-PIC mode, so the generated code should be correct if it is correct in non-PIC mode. Tested only in LP64 mode though.