[Bug tree-optimization/45982] New: [4.3/4.4/4.5/4.6 Regression] PTA does not track integers

[Bug tree-optimization/45982] New: [4.3/4.4/4.5/4.6 Regression] PTA does not track integers

[rguenth at gcc dot gnu.org]

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

           Summary: [4.3/4.4/4.5/4.6 Regression] PTA does not track
                    integers
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: rguenth@gcc.gnu.org


#include <stdint.h>

extern void abort (void);

uintptr_t __attribute__((pure,noinline,noclone))
foo (int *a)
{
  return (uintptr_t) a;
}

void __attribute__((noinline,noclone))
bar (uintptr_t a)
{
  int *p = (int *)a;
  *p = 1;
}

int main()
{
  int t = 0;
  bar (foo (&t));
  if (t != 1)
    abort ();
  return 0;
}


Related to PR45967.

[Bug tree-optimization/45982] [4.3/4.4/4.5/4.6 Regression] PTA does not track integers

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2010.10.12 11:42:03
      Known to work|                            |4.1.2
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.3.6
     Ever Confirmed|0                           |1
      Known to fail|                            |4.2.4, 4.3.5, 4.4.3, 4.5.1,
                   |                            |4.6.0

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-10-12 11:42:03 UTC ---
Mine.

[Bug tree-optimization/45982] [4.3/4.4/4.5/4.6 Regression] PTA does not track integers

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-10-12 11:55:02 UTC ---
Which means, gcc.dg/tree-ssa/pr24287{,-2}.c are bogus.

[Bug tree-optimization/45982] [4.3/4.4/4.5/4.6 Regression] PTA does not track integers

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-10-13 11:31:26 UTC ---
Author: rguenth
Date: Wed Oct 13 11:31:22 2010
New Revision: 165418

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=165418
Log:
2010-10-13  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/45982
    * tree-ssa-structalias.c (make_constraints_to): New function.
    (make_constraint_to): Implement in terms of make_constraints_to.
    (find_func_aliases): Properly make return values of pure/const
    functions escape if they assign to sth that is not a pointer.

    * gcc.dg/torture/pr45982.c: New testcase.
    * gcc.dg/tree-ssa/pr24287.c: Adjust.
    * gcc.dg/tree-ssa/pta-callused.c: Likewise.
    * gcc.dg/torture/pr39074-2.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr45982.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/torture/pr39074-2.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr24287.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pta-callused.c
    trunk/gcc/tree-ssa-structalias.c

[Bug tree-optimization/45982] [4.3/4.4/4.5/4.6 Regression] PTA does not track integers

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-10-13 11:33:54 UTC ---
Author: rguenth
Date: Wed Oct 13 11:33:51 2010
New Revision: 165419

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=165419
Log:
2010-10-13  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/45982
    * tree-ssa-structalias.c (make_constraints_to): New function.
    (make_constraint_to): Implement in terms of make_constraints_to.
    (find_func_aliases): Properly make return values of pure/const
    functions escape if they assign to sth that is not a pointer.

    * gcc.dg/torture/pr45982.c: New testcase.
    * gcc.dg/tree-ssa/pr24287.c: Adjust.
    * gcc.dg/tree-ssa/pta-callused.c: Likewise.
    * gcc.dg/torture/pr39074-2.c: Likewise.

Added:
    branches/gcc-4_5-branch/gcc/testsuite/gcc.dg/torture/pr45982.c
Modified:
    branches/gcc-4_5-branch/gcc/ChangeLog
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_5-branch/gcc/testsuite/gcc.dg/torture/pr39074-2.c
    branches/gcc-4_5-branch/gcc/testsuite/gcc.dg/tree-ssa/pr24287.c
    branches/gcc-4_5-branch/gcc/testsuite/gcc.dg/tree-ssa/pta-callused.c
    branches/gcc-4_5-branch/gcc/tree-ssa-structalias.c

[Bug tree-optimization/45982] [4.3/4.4 Regression] PTA does not track integers

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.5.2, 4.6.0
            Summary|[4.3/4.4/4.5/4.6            |[4.3/4.4 Regression] PTA
                   |Regression] PTA does not    |does not track integers
                   |track integers              |
      Known to fail|4.6.0                       |

--- Comment #5 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-10-13 11:38:36 UTC ---
Fixed on trunk and the 4.5 branch sofar, backport is possible.

[Bug tree-optimization/45982] [4.3/4.4 Regression] PTA does not track integers

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug tree-optimization/45982] [4.3/4.4 Regression] PTA does not track integers

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.6                       |4.4.7

--- Comment #6 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-06-27 12:13:44 UTC ---
4.3 branch is being closed, moving to 4.4.7 target.

[Bug tree-optimization/45982] [4.4 Regression] PTA does not track integers

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-03-13 13:21:49 UTC ---
Fixed in 4.5+, 4.4 is no longer supported.