[Bug middle-end/44592] [4.5 Regression] wrong code at -O3

[rguenth at gcc dot gnu.org]

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

--- Comment #16 from Richard Guenther rguenth at gcc dot gnu.org 2011-01-17 
11:31:14 UTC ---
Author: rguenth
Date: Mon Jan 17 11:31:10 2011
New Revision: 168894

URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=168894
Log:
2011-01-17  Richard Guenther  rguent...@suse.de

Backport from mainline
PR tree-optimization/47286
* tree-ssa-structalias.c (new_var_info): Register variables
are global.

* gcc.dg/tree-ssa/pr47286.c: New testcase.

PR tree-optimization/44592
* tree-ssa-ccp.c (gimplify_and_update_call_from_tree): Copy
from trunk.

* gfortran.dg/pr44592.f90: New testcase.

Added:
branches/gcc-4_5-branch/gcc/testsuite/gcc.dg/tree-ssa/pr47286.c
branches/gcc-4_5-branch/gcc/testsuite/gfortran.dg/pr44592.f90
Modified:
branches/gcc-4_5-branch/gcc/ChangeLog
branches/gcc-4_5-branch/gcc/testsuite/ChangeLog
branches/gcc-4_5-branch/gcc/tree-ssa-ccp.c
branches/gcc-4_5-branch/gcc/tree-ssa-structalias.c

[Bug middle-end/44592] [4.5 Regression] wrong code at -O3

[rguenth at gcc dot gnu.org]

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

Richard Guenther rguenth at gcc dot gnu.org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
  Known to work||4.5.3, 4.6.0
 Resolution||FIXED
  Known to fail||4.5.2

--- Comment #17 from Richard Guenther rguenth at gcc dot gnu.org 2011-01-17 
11:34:31 UTC ---
Fixed.

[Bug middle-end/44592] [4.5 Regression] wrong code at -O3

[rguenth at gcc dot gnu.org]

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

Richard Guenther rguenth at gcc dot gnu.org changed:

   What|Removed |Added

   Target Milestone|4.5.2   |4.5.3

--- Comment #15 from Richard Guenther rguenth at gcc dot gnu.org 2010-12-16 
13:03:16 UTC ---
GCC 4.5.2 is being released, adjusting target milestone.

[Bug middle-end/44592] [4.5 Regression] wrong code at -O3

[rguenth at gcc dot gnu.org]

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

Richard Guenther rguenth at gcc dot gnu.org changed:

   What|Removed |Added

 AssignedTo|matz at gcc dot gnu.org |rguenth at gcc dot gnu.org

--- Comment #14 from Richard Guenther rguenth at gcc dot gnu.org 2010-11-14 
11:47:55 UTC ---
I will look at backporting the 4.6 variant.

[Bug middle-end/44592] [4.5 Regression] wrong code at -O3

[dominiq at lps dot ens.fr]

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

--- Comment #12 from Dominique d'Humieres dominiq at lps dot ens.fr 
2010-10-10 19:36:15 UTC ---
What are the plans with is pr? Will it be back-ported to 4.5?

[Bug middle-end/44592] [4.5 Regression] wrong code at -O3

[rguenther at suse dot de]

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

--- Comment #13 from rguenther at suse dot de rguenther at suse dot de 
2010-10-10 20:03:30 UTC ---
On Sun, 10 Oct 2010, dominiq at lps dot ens.fr wrote:

 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44592
 
 --- Comment #12 from Dominique d'Humieres dominiq at lps dot ens.fr 
 2010-10-10 19:36:15 UTC ---
 What are the plans with is pr? Will it be back-ported to 4.5?

There were various fallouts of the fix, including one fixed only
last week.  But yes, a backport might eventually happen

[Bug middle-end/44592] [4.5 Regression] wrong code at -O3

[rguenth at gcc dot gnu dot org]

--- Comment #11 from rguenth at gcc dot gnu dot org  2010-07-31 09:29 
---
GCC 4.5.1 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

   Target Milestone|4.5.1   |4.5.2


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

[Bug middle-end/44592] [4.5 Regression] wrong code at -O3

[dominiq at lps dot ens dot fr]

--- Comment #8 from dominiq at lps dot ens dot fr  2010-07-01 12:16 ---
  Fixed for 4.6, waiting a bit for 4.5.

 Revision 161496 caused pr44699.

I think the PRINTs are of no use in the testsuite for gfortran.dg/pr44592.f90.
I'ld suggest to apply the following patch:

--- ../_clean/gcc/testsuite/gfortran.dg/pr44592.f90 2010-06-28
17:51:41.0 +0200
+++ gcc/testsuite/gfortran.dg/pr44592.f90   2010-07-01 14:12:38.0
+0200
@@ -13,8 +13,5 @@
   b(4:2:-1)(i:i) = b(3:1:-1)(i:i)

   ! This fails.  If the condition is printed, the result is F F F F
-  if (any (b .ne. (/1,1,2,3/))) i = 2
-  print *, b
-  print *, b .ne. (/1,1,2,3/)
-  if (i == 2) call abort
+  if (any (b .ne. (/1,1,2,3/))) call abort
 end


-- 


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

[Bug middle-end/44592] [4.5 Regression] wrong code at -O3

[jakub at gcc dot gnu dot org]

--- Comment #9 from jakub at gcc dot gnu dot org  2010-07-01 12:21 ---
The important question is if the testcase still ICEs with the fix reverted when
you do that change.


-- 


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

[Bug middle-end/44592] [4.5 Regression] wrong code at -O3

[dominiq at lps dot ens dot fr]

--- Comment #10 from dominiq at lps dot ens dot fr  2010-07-01 13:18 ---
 The important question is if the testcase still ICEs with the fix reverted 
 when
 you do that change.

The test aborts with revisions before 161496.


-- 


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

[Bug middle-end/44592] [4.5 Regression] wrong code at -O3

[matz at gcc dot gnu dot org]

--- Comment #6 from matz at gcc dot gnu dot org  2010-06-28 15:16 ---
Fixed for 4.6, waiting a bit for 4.5.


-- 

matz at gcc dot gnu dot org changed:

   What|Removed |Added

Summary|[4.5/4.6 Regression] wrong  |[4.5 Regression] wrong code
   |code at -O3 |at -O3


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

[Bug middle-end/44592] [4.5 Regression] wrong code at -O3

[dominiq at lps dot ens dot fr]

--- Comment #7 from dominiq at lps dot ens dot fr  2010-06-28 20:42 ---
 Fixed for 4.6, waiting a bit for 4.5.

Revision 161496 caused pr44699.


-- 


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