|
Viewing Issue Advanced Details
[ Jump to Notes ]
|
[ View Simple ]
[ Issue History ]
[ Print ]
|
|
ID |
Category |
Severity |
Reproducibility |
Date Submitted |
Last Update |
|
0000185 |
[libFirm] backend |
crash |
always |
2016-11-10 23:21 |
2016-11-17 16:02 |
|
|
Reporter |
tehMillhouse |
View Status |
public |
|
|
Assigned To |
UniQ |
|
Priority |
normal |
Resolution |
fixed |
Platform |
|
|
Status |
resolved |
|
OS |
|
|
Projection |
none |
|
OS Version |
|
|
ETA |
none |
Fixed in Version |
|
Product Version |
development |
| |
Product Build |
|
|
|
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 |
|
| Tags |
No tags attached. |
|
|
Attached Files |
 lowering-verifier-failure.zip [^] (218,597 bytes) 2016-11-10 23:21 |
|
|
