[Bug tree-optimization/46467] New: [4.6 Regression] gcc.dg/torture/pta-structcopy-1.c FAILs with -fipa-pta without inlining

[Bug tree-optimization/46467] New: [4.6 Regression] gcc.dg/torture/pta-structcopy-1.c FAILs with -fipa-pta without inlining

[zsojka at seznam dot cz]

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

           Summary: [4.6 Regression] gcc.dg/torture/pta-structcopy-1.c
                    FAILs with -fipa-pta without inlining
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 22385
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22385
modified gcc.dg/torture/pta-structcopy-1.c

Output:
$ gcc -O2 -fno-tree-sra -fipa-pta -fno-inline-functions-called-once
-fno-inline-small-functions pta-structcopy-1.i
$ ./a.out
Aborted

Attached testcase only adds __attribute__((noinline)) to foo() with the same
effect:
$ gcc -O2 -fno-tree-sra -fipa-pta pta-structcopy-1b.c
$ ./a.out
Aborted

Tested revisions:
r166703 - fail
r159696 - fail
r158095 - OK
4.5 r166509

[Bug tree-optimization/46467] [4.6 Regression] gcc.dg/torture/pta-structcopy-1.c FAILs with -fipa-pta without inlining

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2010.11.13 18:30:32
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.6.0
     Ever Confirmed|0                           |1

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-11-13 18:30:32 UTC ---
Mine.

[Bug tree-optimization/46467] [4.6 Regression] gcc.dg/torture/pta-structcopy-1.c FAILs with -fipa-pta without inlining

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-11-13 18:52:11 UTC ---
Created attachment 22386
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22386
patch

Bah, the IPA fn parameters all have size 1, so the overlap check in the
struct copy case of course fails ...

[Bug tree-optimization/46467] [4.6 Regression] gcc.dg/torture/pta-structcopy-1.c FAILs with -fipa-pta without inlining

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-11-15 14:15:37 UTC ---
Author: rguenth
Date: Mon Nov 15 14:15:33 2010
New Revision: 166755

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

    PR tree-optimization/46467
    * tree-ssa-structalias.c (do_structure_copy): Properly treat
    variables without subvars.

    * gcc.dg/ipa/ipa-pta-16.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/ipa/ipa-pta-16.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-structalias.c

[Bug tree-optimization/46467] [4.6 Regression] gcc.dg/torture/pta-structcopy-1.c FAILs with -fipa-pta without inlining

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-11-15 14:16:19 UTC ---
Fixed.