[MLton] gcc 4.1.2

Matthew Fluet fluet at tti-c.org
Fri Sep 28 20:25:26 PDT 2007


On Mon, 9 Jul 2007, Matthew Fluet wrote:
> On Mon, 9 Jul 2007, Matthew Fluet wrote:
>>
>>  My (x86_64) Fedora 6 box recently updated to
>>    gcc (GCC) 4.1.2 20070626 (Red Hat 4.1.2-13)
>>
>>  Unfortunately, this version of gcc consistently gives "internal compiler
>>  error: Segmentation fault." when used with the C codegen.  I don't know if
>>  the ICEs are also present on i386.
>>
>>  I've filed a Fedora Bugzilla report:
>>    http://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=247407
>
> The guys at RedHat/Fedora closed it as "Tracking Upstream", which seems to 
> mean that they have pushed it to gcc.  Looking at recently reported gcc bugs, 
> I see the following:
>  http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32694
> which was reported by the asignee of the RedHat/Fedora bug.  This has a cut 
> down test case, which seems to be arising from the WordS64_addCheck code.

My (x86_64) Fedora 7 box just updated to
   gcc version 4.1.2 20070925 (Red Hat 4.1.2-27)

This version fixes the ICEs when used with the C codegen.

This update also got pushed to the Fedora 8 test release, which enabled 
the ppc autobuilders to complete.  AFAICT, Adam now has rpms for 
mlton-20070826 built on F8 for i386, x86_64, and ppc.  Thanks!!




More information about the MLton mailing list