|
Firm Bugtracker - libFirm
|
|
Viewing Issue Advanced Details |
|
|
ID:
|
Category:
|
Severity:
|
Reproducibility:
|
Date Submitted:
|
Last Update:
|
|
185 |
backend |
crash |
always |
2016-11-10 23:21 |
2016-11-17 16:02 |
|
|
Reporter:
|
tehMillhouse |
Platform:
|
|
|
|
Assigned To:
|
UniQ |
OS:
|
|
|
|
Priority:
|
normal |
OS Version:
|
|
|
|
Status:
|
resolved |
Product Version:
|
development |
|
|
Product Build:
|
|
Resolution:
|
fixed |
|
|
Projection:
|
none |
|
|
|
|
ETA:
|
none |
Fixed in Version:
|
|
|
|
|
Summary:
|
0000185: -fno-opt / -O0 produces invalid IR, crashes during lowering |
|
Description:
|
[First off, I'm not sure if the category is correct since I haven't put any time in localizing the bug. So far I can only tell the crash happens in the backend.
It might however be a case of cparser not marking an essential step of compilation with OPT_FLAG_ESSENTIAL.]
I'm trying to compile SPEC2000 with cparser using as little optimization as possible, and have run into an issue where a couple of programs seem to generate invalid IR. (To be precise, verification after scheduling fails, and it aborts)
One example of a failing program is SPEC2000's gcc. I've included the minimal subset of source files that can independently be compiled and still trigger the bug as a zip file, along with logs of a crashing execution and the resulting Firm grpah dump. (This is a debug build)
The cmdline I'm using is simply
cparser -c -m32 -O0 fold-const.c |
|
Steps To Reproduce:
|
|
|
Additional Information:
|
|
| Relationships | |
|
Attached Files:
|
 lowering-verifier-failure.zip [^] (218,597 bytes) 2016-11-10 23:21 |
|
|
Issue History |
|
Date Modified |
Username |
Field |
Change |
|
2016-11-10 23:21 |
tehMillhouse |
New Issue |
|
|
2016-11-10 23:21 |
tehMillhouse |
File Added: lowering-verifier-failure.zip |
|
|
2016-11-10 23:23 |
tehMillhouse |
Issue Monitored: tehMillhouse |
|
|
2016-11-10 23:24 |
tehMillhouse |
Note Added: 0000278 |
|
|
2016-11-17 16:02 |
UniQ |
Note Added: 0000279 |
|
|
2016-11-17 16:02 |
UniQ |
Status |
new => resolved |
|
2016-11-17 16:02 |
UniQ |
Resolution |
open => fixed |
|
2016-11-17 16:02 |
UniQ |
Assigned To |
=> UniQ |