[Bug tree-optimization/47426] New: [4.6 Regression] wrong code with -O2 -fipa-pta

[Bug tree-optimization/47426] New: [4.6 Regression] wrong code with -O2 -fipa-pta

[zsojka at seznam dot cz]

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

           Summary: [4.6 Regression] wrong code with -O2 -fipa-pta
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
                CC: rguenth@gcc.gnu.org
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 23093
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23093
foo.c

Output:
$ gcc main.c foo.c -O2
$ ./a.out


$ gcc main.c foo.c -O2 -fipa-pta
$ ./a.out 
Aborted

foo.c is miscompiled


I don't know if this should be marked as regression.

Tested revisions:
r169143 - fail

[Bug tree-optimization/47426] [4.6 Regression] wrong code with -O2 -fipa-pta

[zsojka at seznam dot cz]

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

--- Comment #1 from Zdenek Sojka <zsojka at seznam dot cz> 2011-01-24 02:05:12 UTC ---
Created attachment 23094
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23094
main.c

[Bug tree-optimization/47426] [4.6 Regression] wrong code with -O2 -fipa-pta

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.01.24 05:19:22
   Target Milestone|---                         |4.6.0
     Ever Confirmed|0                           |1

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> 2011-01-24 05:19:22 UTC ---
It is caused by revision 158374:

http://gcc.gnu.org/ml/gcc-cvs/2010-04/msg00480.html

[Bug tree-optimization/47426] [4.6 Regression] wrong code with -O2 -fipa-pta

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-01-25 11:10:34 UTC ---
Mine (it's not really a regression).

[Bug tree-optimization/47426] [4.6 Regression] wrong code with -O2 -fipa-pta

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-01-25 13:16:58 UTC ---
The problem is that i_1(D) has an empty points-to set.  It doesn't even
receive constraints which is because the function is static but it
escapes from getfoo which results in us failing to add NONLOCAL
parameter inputs.

[Bug tree-optimization/47426] [4.6 Regression] wrong code with -O2 -fipa-pta

[rguenth at gcc dot gnu.org]

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

--- Comment #5 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-01-25 16:38:32 UTC ---
Author: rguenth
Date: Tue Jan 25 16:38:26 2011
New Revision: 169241

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=169241
Log:
2011-01-25  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/47426
    * tree-ssa-structalias.c (ipa_pta_execute): Make externally
    visible functions results escape.

    * gcc.dg/torture/pr47426-1.c: New testcase.
    * gcc.dg/torture/pr47426-2.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr47426-1.c
    trunk/gcc/testsuite/gcc.dg/torture/pr47426-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-ssa-structalias.c

[Bug tree-optimization/47426] [4.6 Regression] wrong code with -O2 -fipa-pta

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
                 CC|                            |jakub at gcc dot gnu.org
         Resolution|                            |FIXED

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-01-26 08:39:39 UTC ---
Fixed.

[Bug tree-optimization/47426] [4.6 Regression] wrong code with -O2 -fipa-pta

[dnovillo at gcc dot gnu.org]

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

--- Comment #7 from Diego Novillo <dnovillo at gcc dot gnu.org> 2011-02-02 17:47:02 UTC ---
Author: dnovillo
Date: Wed Feb  2 17:46:57 2011
New Revision: 169584

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=169584
Log:
2011-01-25  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/47426
    * tree-ssa-structalias.c (ipa_pta_execute): Make externally
    visible functions results escape.

    * gcc.dg/torture/pr47426-1.c: New testcase.
    * gcc.dg/torture/pr47426-2.c: Likewise.

Added:
    branches/google/integration/gcc/testsuite/gcc.dg/torture/pr47426-1.c
    branches/google/integration/gcc/testsuite/gcc.dg/torture/pr47426-2.c
Modified:
    branches/google/integration/gcc/ChangeLog
    branches/google/integration/gcc/tree-ssa-structalias.c