[Bug rtl-optimization/25195] code fails at -O1, works at -O0
--- Comment #2 from duraid at octopus dot com dot au 2005-12-04 04:36 --- Marking this bug invalid - the code in question turned out to have a GC that did not correctly support IA64's RSE. With optimization, stuff was getting hidden from the GC in the RSE backing store and incorrectly being freed. -- duraid at octopus dot com dot au changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||INVALID http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25195
[Bug rtl-optimization/25195] code fails at -O1, works at -O0
--- Comment #1 from duraid at octopus dot com dot au 2005-12-02 04:48 --- some additional info: the behaviour between 4.0.2-release and: gcc version 4.0.3 20051202 (prerelease) is identical. also, this code is not 64-bit clean, so be sure to build 32-bit when testing. -- duraid at octopus dot com dot au changed: What|Removed |Added Version|4.0.2 |4.0.3 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25195
[Bug rtl-optimization/25195] New: code fails at -O1, works at -O0
the ATerm library (not the terminal!) available here: http://www.cwi.nl/projects/MetaEnv/aterm/aterm-2.4.2.tar.gz seems to miscompile at -O1, but I cannot say for sure that this is not due to a bug in the C code. To reproduce the failure, grab the above file and try: export CC=gcc-4.0.2 export CFLAGS="-O1" ./configure; make; make check this takes about a minute. On ia64-hpux, with GCC 4.0.2, 2 of the 4 test programs fail. with GCC 3.4.4, only 1 of the 4 test programs fails. At -O0, all tests pass with either compiler. If anyone can shed some light on this I would really appreciate it, but I have a funny feeling this might not be a GCC issue, so marking this minor. -- Summary: code fails at -O1, works at -O0 Product: gcc Version: 4.0.2 Status: UNCONFIRMED Severity: minor Priority: P3 Component: rtl-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: duraid at octopus dot com dot au GCC host triplet: ia64-hp-hpux11.23 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25195
[Bug rtl-optimization/21461] [3.4/4.0 regression] miscompilation at -O2 in 3.4.x, 4.x
--- Additional Comments From duraid at octopus dot com dot au 2005-05-09 13:41 --- Building on ia64 with the 3.4.4 compiler mentioned above, I get: #0 red_ReduceInput (Search=0x600ac338, ClauseList=0x60112e18) at clause.h:525 #1 0x4010dd90 in top_ProofSearch (Search=0x600ac338, ProblemClauses=0x60123f68, InputFlags=0x600cd948, UserPrecedence=0x0, BoundApplied=0x6fcf3768) at top.c:913 #2 0x40111350 in main (argc=2, argv=0x0) at top.c:1457 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21461
[Bug rtl-optimization/21461] [3.4/4.0 regression] miscompilation at -O2 in 3.4.x, 4.x
--- Additional Comments From duraid at octopus dot com dot au 2005-05-09 12:24 --- Actually, I shouldn't have closed this so hastily. The code _is_ pretty dirty but I'm not sure GCC is really doing something legal at -O2. -- What|Removed |Added Status|RESOLVED|UNCONFIRMED Resolution|INVALID | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21461
[Bug rtl-optimization/21461] [3.4/4.0 regression] miscompilation at -O2 in 3.4.x, 4.x
--- Additional Comments From duraid at octopus dot com dot au 2005-05-09 12:20 --- (In reply to comment #3) > Does -fno-strict-aliasing fix the problem? Yes, oops. > Also is there any warnings from -Wstrict-aliasing? No. > If so this might not be a bug in gcc. Indeed. Sorry! -- What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||INVALID http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21461
[Bug c/21461] miscompilation at -O2 in 3.4.x, 4.x
--- Additional Comments From duraid at octopus dot com dot au 2005-05-09 06:44 --- oops, my mistake. this bug appears on x86 too, at least: gcc version 3.4.4 20050314 (prerelease) (Debian 3.4.3-13) fails (at -O2), but: gcc version 3.3.6 (Debian 1:3.3.6-3) works. Perhaps this is a bug in SPASS, but the program does appear to behave as far as valgrind is concerned. Not sure what sort of legal optimization could break a program in this way. I'm pretty sure there's no floating-point code affecting control flow here. -- What|Removed |Added GCC build triplet|ia64-linux-unknown | GCC host triplet|ia64-linux-unknown | GCC target triplet|ia64-linux-unknown | Summary|[ia64] miscompilation at -O2|miscompilation at -O2 in |in 3.4.x, 4.x |3.4.x, 4.x http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21461
[Bug c/21461] New: [ia64] miscompilation at -O2 in 3.4.x, 4.x
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
