[Bug c/21461] New: [ia64] miscompilation at -O2 in 3.4.x, 4.x

["duraid at octopus dot com dot au" <gcc-bugzilla at gcc dot gnu dot org>]

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