http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54659
--- Comment #4 from rguenther at suse dot de <rguenther at suse dot de> 2012-10-26 12:36:30 UTC --- On Fri, 26 Oct 2012, dnovillo at google dot com wrote: > > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54659 > > --- Comment #3 from dnovillo at google dot com <dnovillo at google dot com> > 2012-10-26 12:34:53 UTC --- > On Fri, Oct 26, 2012 at 8:05 AM, rguenther at suse dot de > <gcc-bugzi...@gcc.gnu.org> wrote: > > > Fact is that all this stuff happens because gmp.h is not included > > from system.h ... > > I broke Ada when I tried it. I don't remember the details, but it > seemed tedious to fix. I know ... but it's the only way that is designed to avoid this kind of issues. Richard.