[Bug tree-optimization/37869] PTA results wrong for "non-pointer" variables

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2008-11-25 20:29 -------
Subject: Bug 37869

Author: rguenth
Date: Tue Nov 25 20:27:44 2008
New Revision: 142202

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

        * tree-data-ref.c (dr_may_alias_p): Use the alias-oracle.

        * tree-tailcall.c (tree_optimize_tail_calls_1): Also split the
        edge from the entry block if we have degenerate PHI nodes in
        the first basic block.

        * gimple.c (gimple_set_bb): Fix off-by-one error.
        * tree-cfg.c (move_block_to_fn): Likewise.

        PR tree-optimization/37869
        * tree-ssa-structalias.c (struct variable_info): Add
        is_nonpointer_var flag.
        (new_var_info): Clear it.
        (perform_var_substitution): Set it.
        (find_what_p_points_to): Use it.

Modified:
    branches/alias-improvements/gcc/ChangeLog.alias
    branches/alias-improvements/gcc/gimple.c
    branches/alias-improvements/gcc/tree-cfg.c
    branches/alias-improvements/gcc/tree-data-ref.c
    branches/alias-improvements/gcc/tree-ssa-structalias.c
    branches/alias-improvements/gcc/tree-tailcall.c


-- 


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