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
lowering-verifier-failure.zip [^] (218,597 bytes) 2016-11-10 23:21 
