--- Additional Comments From belyshev at depni dot sinp dot msu dot ru
2005-05-09 11:30 ---
Could you please post backtrace of segfault? with both gcc-4.0 and gcc-3.4 if it
is different.
--
What|Removed |Added
-
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-05-09
12:01 ---
Does -fno-strict-aliasing fix the problem?
Also is there any warnings from -Wstrict-aliasing?
If so this might not be a bug in gcc.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21461
--- 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!
--
--- 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
-
--- Additional Comments From belyshev at depni dot sinp dot msu dot ru
2005-05-09 13:23 ---
yes, please do not close this bug as i can reproduce it even with
-fno-strict-aliasing, but it seems it breaks at least in four files
(dfgparser.c, list.c, sharing.c, subst.c) so it could take som
--- 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_ProofSear
--- Additional Comments From belyshev at depni dot sinp dot msu dot ru
2005-05-09 17:45 ---
This code:
memory.h:413:
*(POINTER *)Freepointer = memory_ARRAY[Size]->free;
memory_ARRAY[Size]->free = Freepointer;
is invalid, because you are changing object of some type via pointer
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-05
09:17 ---
Reopening to ...
--
What|Removed |Added
Status|RESOLVED|UNCO
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-05
09:18 ---
Mark as a dup of bug 21920.
*** This bug has been marked as a duplicate of 21920 ***
--
What|Removed |Added
-
