The SPASS theorem prover (see below) is miscompiled at -O2 by: gcc version 3.4.3 gcc version 3.4.4 20050314 (prerelease) (Debian 3.4.3-13) gcc version 4.0.0 (release) gcc version 4.1.0 20050509 (experimental)
it is compiled correctly by: gcc version 3.3.6 (Debian 1:3.3.6-3) gcc version 3.3.5 Intel(R) C Itanium(R) Compiler for Itanium(R)-based applications Version 8.1 LLVM and the problematic compilers mentioned above at -O1. TO REPRODUCE: 1) find yourself an ia64 box 2) unpack http://kinoko.c.u-tokyo.ac.jp/~duraid/spassbug.tgz (sorry) 3) make (you'll want to change the "gcc-3.4 -O2" that appears in the Makefile) 4) ./a.out bug_trigger (this segfaults fairly rapidly, it should run to completion in ~20s on an itanium 2 system) -- Summary: [ia64] miscompilation at -O2 in 3.4.x, 4.x Product: gcc Version: 3.4.3 Status: UNCONFIRMED Severity: normal Priority: P2 Component: c AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: duraid at octopus dot com dot au CC: gcc-bugs at gcc dot gnu dot org GCC build triplet: ia64-linux-unknown GCC host triplet: ia64-linux-unknown GCC target triplet: ia64-linux-unknown http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21461
