This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r143035 - in /branches/alias-improvements/gcc: ...
- From: rguenth at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Sat, 03 Jan 2009 20:29:54 -0000
- Subject: r143035 - in /branches/alias-improvements/gcc: ...
Author: rguenth
Date: Sat Jan 3 20:29:53 2009
New Revision: 143035
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143035
Log:
2008-01-03 Richard Guenther <rguenther@suse.de>
* tree-flow-inline.h (may_be_aliased): Query the addressable
vars bitmap in addition to checking TREE_ADDRESSABLE.
* tree-ssa-structalias.c (get_constraint_for_ptr_offset):
For field-sensitive analysis also handle variable offsets
on addresses of variables that did not get decomposed.
(find_func_aliases): Fix constraint generation for asm statements.
(find_what_var_points_to): Do not set pt_nonlocal for heap
variables.
* tree-dfa.c (refs_may_alias_p): Disambiguate two indirect
references with PTA information.
* tree-ssa-alias.h (may_point_to_same_object): Declare.
* tree-ssa-alias.c (may_point_to_same_object): New function.
(ref_may_used_by_call_p): Fix handling of indirect references.
Modified:
branches/alias-improvements/gcc/ChangeLog.alias
branches/alias-improvements/gcc/tree-dfa.c
branches/alias-improvements/gcc/tree-flow-inline.h
branches/alias-improvements/gcc/tree-ssa-alias.c
branches/alias-improvements/gcc/tree-ssa-alias.h
branches/alias-improvements/gcc/tree-ssa-structalias.c