http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47442
--- Comment #7 from Ian Lance Taylor <ian at airs dot com> 2011-01-25 19:17:49 UTC --- The patch looks reasonable to me, though I would like to hear Andreas's opinion. Technically this patch should go to the libffi maintainers, as libffi is maintained in a separate repository. According to http://sourceware.org/libffi/ the right address is libffi-disc...@sourceware.org.