[Bug rtl-optimization/21461] [3.4/4.0 regression] miscompilation at -O2 in 3.4.x, 4.x

2005-06-05 Thread pinskia at gcc dot gnu dot org

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-05 
09:17 ---
Reopening to ...

-- 
   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

2005-06-05 Thread pinskia at gcc dot gnu dot org

--- 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

 Status|UNCONFIRMED |RESOLVED
 Resolution||DUPLICATE


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

2005-05-09 Thread belyshev at depni dot sinp dot msu dot ru

--- 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

  Component|c   |rtl-optimization
   Keywords||wrong-code
  Known to work||3.3.6
Summary|miscompilation at -O2 in|[3.4/4.0 regression]
   |3.4.x, 4.x  |miscompilation at -O2 in
   ||3.4.x, 4.x


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

2005-05-09 Thread pinskia at gcc dot gnu dot org

--- 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


[Bug rtl-optimization/21461] [3.4/4.0 regression] miscompilation at -O2 in 3.4.x, 4.x

2005-05-09 Thread duraid at octopus dot com dot au

--- 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 rtl-optimization/21461] [3.4/4.0 regression] miscompilation at -O2 in 3.4.x, 4.x

2005-05-09 Thread duraid at octopus dot com dot au

--- 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

2005-05-09 Thread belyshev at depni dot sinp dot msu dot ru

--- 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 some time to reduce.

I'd like to see your backtrace of segfault to compare with.
(compile it with -O2 -g, and do gdb --args ./a.out bug_trigger and then 'run'
and 'bt')


-- 


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

2005-05-09 Thread duraid at octopus dot com dot au

--- 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

2005-05-09 Thread belyshev at depni dot sinp dot msu dot ru

--- 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 of type
(void **). Either it should be rewritten using unions, or -fno-strict-aliasing
option should be used. More on this here:
http://gcc.gnu.org/onlinedocs/gcc/Optimize-Options.html#index-fstrict_002daliasing-524

-- 
   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||INVALID


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21461