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

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

[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

--- 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=gcc&view=rev&rev=168894
Log:
2011-01-17  Richard Guenther  <rguenther@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 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 #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

[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 #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.000000000 +0200
+++ gcc/testsuite/gfortran.dg/pr44592.f90       2010-07-01 14:12:38.000000000
+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

[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

[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