Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000293mercuryBugpublic2013-07-10 13:552015-07-08 13:19
Reporterjuliensf 
Assigned Tojuliensf 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
Platformx86-64OSLinuxOS VersionFedora 19
Product Version 
Target VersionFixed in Version 
Summary0000293: asm_fast grades do not work with GCC 4.8
DescriptionThe asm_fast grades do not work with GCC 4.8 on Fedora 19 x86-64 (and probably elsewhere).
(The configure test for gcc labels is failing due to a segmentation fault on my system.)
This was with Mercury 13.05.

TagsNo tags attached.
Relationships
Attached Files

Notes
(0000551)
juliensf   
2013-07-10 16:19   
This seems to be caused by the option -ftree-dominator-opts.
(0000555)
juliensf   
2013-07-12 01:37   
I've committed a fix for this (i.e. compile with -fno-tree-dominator-opts). I would also not that
compiling with -fno-omit-frame-pointer is also a possible fix. I'll keep this bug open until I've decided
what the best fix is.
(0000839)
juliensf   
2015-07-08 13:19   
We compile with -fno-tree-dominator-opts in this case. (Also affects GCC 4.9 and 5.)

Issue History
Date ModifiedUsernameFieldChange
2013-07-10 13:55juliensfNew Issue
2013-07-10 16:19juliensfNote Added: 0000551
2013-07-12 01:37juliensfNote Added: 0000555
2013-07-12 01:37juliensfAssigned To => juliensf
2013-07-12 01:37juliensfStatusnew => assigned
2015-07-08 13:19juliensfNote Added: 0000839
2015-07-08 13:19juliensfStatusassigned => resolved
2015-07-08 13:19juliensfResolutionopen => fixed