[Bug tree-optimization/23086] New: gcc.dg/tree-ssa/20030807-7.c should be fixed properly

[dnovillo at gcc dot gnu dot org]

The hack in may_alias_p we used to have was papering over the real problem and
causing problems (PR 22591).

The real fix is to notice in the aliaser that a default definition for a
PARM_DECL cannot possibly point to a local variable.

Test XFAIL'd for now.  Fix scheduled for 4.2.

-- 
           Summary: gcc.dg/tree-ssa/20030807-7.c should be fixed properly
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P3
         Component: tree-optimization
        AssignedTo: dnovillo at gcc dot gnu dot org
        ReportedBy: dnovillo at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


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