summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/tree-ssa-alias.c2
2 files changed, 5 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b9ec15b1946..48ac980fa45 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,10 @@
2019-07-02 Jan Hubicka <jh@suse.cz>
+ * tree-ssa-alias.c (aliasing_component_refs_p): Remove forgotten
+ sanity check.
+
+2019-07-02 Jan Hubicka <jh@suse.cz>
+
* tree-ssa-alias.c (nonoverlapping_component_refs_for_decl_p): Rename
to ..
(nonoverlapping_component_refs_since_match_p): ... this one;
diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c
index 3763b8598a2..c3c127a761e 100644
--- a/gcc/tree-ssa-alias.c
+++ b/gcc/tree-ssa-alias.c
@@ -1105,7 +1105,6 @@ aliasing_component_refs_p (tree ref1,
&& (base1_alias_set == ref2_alias_set
|| alias_set_subset_of (base1_alias_set, ref2_alias_set)))
{
- gcc_checking_assert (!nonoverlapping_component_refs_p (ref1, ref2));
++alias_stats.aliasing_component_refs_p_may_alias;
return true;
}
@@ -1118,7 +1117,6 @@ aliasing_component_refs_p (tree ref1,
&& (base2_alias_set == ref1_alias_set
|| alias_set_subset_of (base2_alias_set, ref1_alias_set)))
{
- gcc_checking_assert (!nonoverlapping_component_refs_p (ref1, ref2));
++alias_stats.aliasing_component_refs_p_may_alias;
return true;
}