This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r143923 - in /branches/alias-improvements/gcc: ...
- From: rguenth at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Wed, 04 Feb 2009 14:43:22 -0000
- Subject: r143923 - in /branches/alias-improvements/gcc: ...
Author: rguenth
Date: Wed Feb 4 14:43:21 2009
New Revision: 143923
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143923
Log:
2009-02-04 Richard Guenther <rguenther@suse.de>
* tree-ssa-structalias.c (find_what_var_points_to): CALLUSED
shall not appear in poins-to solutions.
(pt_solution_empty_p): Remove code dealing with CALLUSED
in points-to solutions.
(pt_solution_includes): Likewise.
(pt_solutions_intersect): Likewise.
(pt_solution_merge_into): Remove.
(compute_points_to_sets): Do not merge escaped/callused solutions.
(do_sd_constraint): Do not use CALLUSED as a representative.
(solve_graph): Do propagate CALLUSED.
(handle_pure_call): Use a scalar constraint from CALLUSED for
the return value.
(init_base_vars): Add CALLUSED = CALLUSED + UNKNOWN constraint.
* tree-ssa-alias.c (dump_points_to_info_for): Do not dump
callused flag.
* tree-ssa-alias.h (struct pt_solution): Remove callused flag.
* gcc.dg/torture/pta-callused-1.c: New testcase.
* gcc.dg/torture/ssa-pta-fn-1.c: Adjust.
Added:
branches/alias-improvements/gcc/testsuite/gcc.dg/torture/pta-callused-1.c
Modified:
branches/alias-improvements/gcc/ChangeLog.alias
branches/alias-improvements/gcc/testsuite/gcc.dg/torture/ssa-pta-fn-1.c
branches/alias-improvements/gcc/tree-ssa-alias.c
branches/alias-improvements/gcc/tree-ssa-alias.h
branches/alias-improvements/gcc/tree-ssa-structalias.c