Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000213mercuryBugpublic2011-08-28 18:072014-10-20 10:01
Reporterjuliensf 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000213: failure of tests/hard_coded/direct_arg_tags.m in asm_fast.par.gc
Descriptiontests/hard_coded/direct_arg_tags.m is failing in asm_fast.par.gc on x86-64 / Linux
machines. (I encountered the failure on goliath). The output contains what appear to be
memory addresses, so I suspect some terms are not being deconstructed correctly.

I originally noted the failure at -O5 --intermodule-optimization but it also occurs with
just -O-1.

This occurs on both the 11.07 branch and trunk.
Additional Informationtests/hard_coded/typeclasses/func_default_mode_bug.m
tests/hard-coded/construct_test.m

are also failing; it is most probably the same bug.
TagsNo tags attached.
Relationships
Attached Files

Notes
(0000353)
wangp   
2011-08-29 10:29   
I can't reproduce it on my own machine (x86-64). Are you sure the standard library and runtime are up-to-date in the asm_fast.par.gc grade?
(0000354)
juliensf   
2011-08-29 13:29   
Yes, they are up-to-date; I will try it on some other x86-64 machines here. Perhaps, it's specific to the version of the C compiler being used or something.
(0000355)
juliensf   
2011-08-29 14:56   
That appears to be the case:

    goliath: gcc 4.1.3: doesn't work.
    apollo : gcc 4.4.5: works.

I will check other versions of gcc. (I don't think maintaining support for gcc 4.1 is terribly important, if it's just that version that is not working then we should just bump the minimum version of gcc required for Mercury.)
(0000356)
juliensf   
2011-08-30 18:46   
goofy: gcc 4.4.3; works.
(0000794)
wangp   
2014-10-09 12:04   
I assume it's no longer a problem.
(0000796)
pbone   
2014-10-20 10:01   
I've been testing asm_fast.gc.par.stseg recently and didn't see this test case failure. I'm using gcc-4.8 on x86_64 Linux. I was testing both the master and version-14_01-branch branches.

Issue History
Date ModifiedUsernameFieldChange
2011-08-28 18:07juliensfNew Issue
2011-08-29 10:29wangpNote Added: 0000353
2011-08-29 13:29juliensfNote Added: 0000354
2011-08-29 14:56juliensfNote Added: 0000355
2011-08-30 18:46juliensfNote Added: 0000356
2014-10-09 12:04wangpNote Added: 0000794
2014-10-09 12:04wangpStatusnew => closed
2014-10-09 12:04wangpResolutionopen => no change required
2014-10-20 10:01pboneNote Added: 0000796