[MLton] x86_64 port status

Stephen Weeks MLton@mlton.org
Mon, 8 May 2006 15:45:09 -0700


When compiling the runtime on x86-linux, I get a number of warnings.
It would be nice to eliminate them ASAP, as they make it difficult to
identify the real problems introduced in porting to a new platform, as
well make it more likely to miss problems in the future.  If they can
be solved by some local annotation that would be great.  If not, I'd
almost rather turn off the corresponding -W to cut down on noise.

Here are all the warnings I see, grouped by type.  If anyone knows how
to solve the problem by changing the code or how to locally turn off
the warning, please speak up.

--------------------------------------------------------------------------------

basis/System/Date.c:62: warning: format not a string literal, format string not checked

gc/int-inf.c:68: warning: right shift count >= width of type

gc/mark-compact.c:18: warning: statement with no effect
gc/mark-compact.c:30: warning: statement with no effect

gdtoa/gdtoa.h:116: warning: redundant redeclaration of `strtof' in same scope
/usr/include/stdlib.h:347: warning: previous declaration of `strtof'
gdtoa/gdtoa.h:117: warning: redundant redeclaration of `strtod' in same scope
/usr/include/stdlib.h:326: warning: previous declaration of `strtod'

gc/cheney-copy.c:13: warning: inlining failed in call to `updateWeaksForCheneyCopy'
gc/cheney-copy.c:13: warning: inlining failed in call to `updateWeaksForCheneyCopy'
gc/copy-thread.c:9: warning: inlining failed in call to `copyThread'
gc/copy-thread.c:9: warning: inlining failed in call to `copyThread'
gc/foreach.c:41: warning: inlining failed in call to `foreachObjptrInObject'
gc/hash-cons.c:99: warning: inlining failed in call to `insertHashTableElem'
gc/hash-cons.c:99: warning: inlining failed in call to `insertHashTableElem'
gc/hash-cons.c:184: warning: inlining failed in call to `growHashTableMaybe'
gc/init-world.c:25: warning: inlining failed in call to `sizeofInitialBytesLive'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/mark-compact.c:64: warning: inlining failed in call to `clearIfWeakAndUnmarkedForMarkCompact'
gc/foreach.c:41: warning: inlining failed in call to `foreachObjptrInObject'
gc/mark-compact.c:13: warning: inlining failed in call to `copyForThreadInternal'
gc/mark-compact.c:13: warning: inlining failed in call to `copyForThreadInternal'
gc/mark-compact.c:13: warning: inlining failed in call to `copyForThreadInternal'
gc/mark-compact.c:13: warning: inlining failed in call to `copyForThreadInternal'
gc/hash-cons.c:28: warning: inlining failed in call to `allocHashTable'
gc/new-object.c:17: warning: inlining failed in call to `newObject'
gc/new-object.c:17: warning: inlining failed in call to `newObject'
gc/profiling.c:65: warning: inlining failed in call to `enterForProfiling'
gc/profiling.c:125: warning: inlining failed in call to `leaveForProfiling'
gc/profiling.c:65: warning: inlining failed in call to `enterForProfiling'
gc/profiling.c:125: warning: inlining failed in call to `leaveForProfiling'
gc/profiling.c:159: warning: inlining failed in call to `incForProfiling'
gc/profiling.c:159: warning: inlining failed in call to `incForProfiling'
gc/hash-cons.c:28: warning: inlining failed in call to `allocHashTable'
gc/new-object.c:17: warning: inlining failed in call to `newObject'
gc/forward.c:28: warning: inlining failed in call to `forwardObjptr'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/int-inf.c:45: warning: inlining failed in call to `fillIntInfArg'
gc/mark-compact.c:13: warning: inlining failed in call to `copyForThreadInternal'
gc/mark-compact.c:13: warning: inlining failed in call to `copyForThreadInternal'
gc/profiling.c:65: warning: inlining failed in call to `enterForProfiling'
gc/profiling.c:125: warning: inlining failed in call to `leaveForProfiling'