From: Daniel Berlin Date: Sun, 10 Jun 2007 14:13:18 +0000 (+0000) Subject: tree-data-ref.c (dr_may_alias_p): Check that decl_a != decl_b, and allow DECL_P here. X-Git-Tag: releases/gcc-4.3.0~4535 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=55edccf416b868b9b05a459a25487785eaaf7b63;p=thirdparty%2Fgcc.git tree-data-ref.c (dr_may_alias_p): Check that decl_a != decl_b, and allow DECL_P here. 2007-06-09 Daniel Berlin * tree-data-ref.c (dr_may_alias_p): Check that decl_a != decl_b, and allow DECL_P here. From-SVN: r125601 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 830517d3b4ef..1cba951f45e4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2007-06-09 Daniel Berlin + + * tree-data-ref.c (dr_may_alias_p): Check that decl_a != decl_b, + and allow DECL_P here. + 2007-06-09 Zdenek Dvorak * tree-scalar-evolution.c (follow_ssa_edge_in_rhs, diff --git a/gcc/tree-data-ref.c b/gcc/tree-data-ref.c index 99f8fd2b91f8..4d96311ae6c0 100644 --- a/gcc/tree-data-ref.c +++ b/gcc/tree-data-ref.c @@ -1176,8 +1176,9 @@ dr_may_alias_p (struct data_reference *a, struct data_reference *b) if (TYPE_RESTRICT (type_a) && TYPE_RESTRICT (type_b) && (!DR_IS_READ (a) || !DR_IS_READ (b)) - && decl_a && TREE_CODE (decl_a) == PARM_DECL - && decl_b && TREE_CODE (decl_b) == PARM_DECL + && decl_a && DECL_P (decl_a) + && decl_b && DECL_P (decl_b) + && decl_a != decl_b && TREE_CODE (DECL_CONTEXT (decl_a)) == FUNCTION_DECL && DECL_CONTEXT (decl_a) == DECL_CONTEXT (decl_b)) return false;