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

["zsojka at seznam dot cz" <gcc-bugzilla at gcc dot gnu dot org>]

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