[Bug tree-optimization/23330] New: FIXME from passes.c: pass_may_alias should be a TODO item

[Bug tree-optimization/23330] New: FIXME from passes.c: pass_may_alias should be a TODO item

[pinskia at gcc dot gnu dot org]

FIXME from passes.c:
  /* FIXME: SRA may generate arbitrary gimple code, exposing new
     aliased and call-clobbered variables.  As mentioned below,
     pass_may_alias should be a TODO item.  */

  /* FIXME: May alias should a TODO but for 4.0.0,
     we add may_alias right after fold builtins
     which can create arbitrary GIMPLE.  */

Just a bug to track progress on this FIXME.

-- 
           Summary: FIXME from passes.c: pass_may_alias should be a TODO
                    item
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug tree-optimization/23330] FIXME from passes.c: pass_may_alias should be a TODO item

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-25 04:25 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-09-25 04:25:52
               date|                            |


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

[Bug tree-optimization/23330] FIXME from passes.c: pass_may_alias should be a TODO item

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=23330
Bug 23330 depends on bug 23659, which changed state.

Bug 23659 Summary: Should able to add dereferencing (statements with VUSE) without rerunning may_alias
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=23659

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

[Bug tree-optimization/23330] FIXME from passes.c: pass_may_alias should be a TODO item

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2007-08-17 09:15 -------
Fixed by:
2007-08-14  Daniel Berlin  <dberlin@dberlin.org>

        * tree-pass.h (PROP_pta): Removed.
        (TODO_rebuild_alias): New.
        (pass_may_alias): Removed.
        * tree-ssa-ccp.c (execute_fold_all_builtins): Only rebuild
        aliasing if we changed something.
        * tree-ssa-alias.c (compute_may_aliases): Make non-static.  Update
        SSA internally.
        (pass_may_alias): Removed.
        (create_structure_vars): Return TODO_rebuild_alias.
        * tree-ssa-pre.c (do_pre): Return TODO_rebuild_alias.
        * tree-sra.c (tree_sra): Only rebuild aliasing if something
        changed.
        (tree_sra_early): We never affect aliasing right now.
        * tree-flow.h (compute_may_aliases): New prototype.
        * passes.c: Remove pass_may_alias from the passes.
        (execute_function_todo): Support TODO_rebuild_alias.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.3.0


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