View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0000293 | mercury | Bug | public | 2013-07-10 13:55 | 2015-07-08 13:19 | ||||
Reporter | juliensf | ||||||||
Assigned To | juliensf | ||||||||
Priority | normal | Severity | minor | Reproducibility | always | ||||
Status | resolved | Resolution | fixed | ||||||
Platform | x86-64 | OS | Linux | OS Version | Fedora 19 | ||||
Product Version | |||||||||
Target Version | Fixed in Version | ||||||||
Summary | 0000293: asm_fast grades do not work with GCC 4.8 | ||||||||
Description | The 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. | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
Notes | |
juliensf (administrator) 2013-07-10 16:19 |
This seems to be caused by the option -ftree-dominator-opts. |
juliensf (administrator) 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. |
juliensf (administrator) 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 Modified | Username | Field | Change |
---|---|---|---|
2013-07-10 13:55 | juliensf | New Issue | |
2013-07-10 16:19 | juliensf | Note Added: 0000551 | |
2013-07-12 01:37 | juliensf | Note Added: 0000555 | |
2013-07-12 01:37 | juliensf | Assigned To | => juliensf |
2013-07-12 01:37 | juliensf | Status | new => assigned |
2015-07-08 13:19 | juliensf | Note Added: 0000839 | |
2015-07-08 13:19 | juliensf | Status | assigned => resolved |
2015-07-08 13:19 | juliensf | Resolution | open => fixed |