[MLton-user] gcc 4.1.1 crash "virtual memory exhausted: Cannot allocate memory" with mlton-20051202 on solaris

Nicolas Bertolotti nicolas.bertolotti at polyspace.com
Fri Jan 12 07:18:34 PST 2007



I'm trying to build my application using mlton-20051202 and gcc-4.1.1. It
seems that there are some regressions in gcc and some of the big .c files
(more than 20KLOC) fail to build with the -O1 option.


I tried to use the MLton option -coalesce with different values (2048 and
1024) but it seems that it has no effect on the biggest files. Am I missing


In my case, there is only one file which fails to build with -01. I could
notice that when I use the -keep g option, the .c files are named
sources.0.c, sources.1.c . sources.234.c and the file that fails to build is
sources.234.c. I guess it is not a coincidence.


Thanks for your help.  

    Nicolas Bertolotti             |    PolySpace Technologies S.A.
     <http://www.polyspace.com/> http://www.polyspace.com       |    28, rue
Estienne d'Orves
    Phone: +33 (0)1 49 65 32 66    |    92120 Montrouge
                                   |    Std phone: +33 (0)1 49 65 32 60


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mlton.org/pipermail/mlton-user/attachments/20070112/4cb97599/attachment.htm

More information about the MLton-user mailing list