OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

tree-ssa-alias.c (refs_may_alias_p_1): Check for is_gimple_min_invariant rather than CONSTANT_CLASS_P so that... 

2009-04-07  Martin Jambor  <mjambor@suse.cz>

	* tree-ssa-alias.c (refs_may_alias_p_1): Check for
	is_gimple_min_invariant rather than CONSTANT_CLASS_P so that invariant
	ADDR_EXPRS are include too.

From-SVN: r145685
This commit is contained in:
Martin Jambor 2009-04-07 17:46:33 +02:00 committed by Martin Jambor
parent fdac1f80d6
commit dc5e72981f
2 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2009-04-07 Martin Jambor <mjambor@suse.cz>
* tree-ssa-alias.c (refs_may_alias_p_1): Check for
is_gimple_min_invariant rather than CONSTANT_CLASS_P so that invariant
ADDR_EXPRS are include too.
2009-04-07 Richard Guenther <rguenther@suse.de>
* tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Non-aliased

4
gcc/tree-ssa-alias.c
View File

@ -688,9 +688,9 @@ refs_may_alias_p_1 (tree ref1, tree ref2)
*D.1663_44 = VIEW_CONVERT_EXPR<struct DB_LSN>(__tmp$B0F64_59);
which is seen as a struct copy. */
if (TREE_CODE (base1) == SSA_NAME
|| CONSTANT_CLASS_P (base1)
|| TREE_CODE (base2) == SSA_NAME
|| CONSTANT_CLASS_P (base2))
|| is_gimple_min_invariant (base1)
|| is_gimple_min_invariant (base2))
return false;
var1_p = SSA_VAR_P (base1);