aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc')
-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 b9ec15b..48ac980 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 3763b85..c3c127a 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;
}