tree-ssa-alias.c (aliasing_component_refs_p): Remove forgotten sanity check.

	* tree-ssa-alias.c (aliasing_component_refs_p): Remove forgotten
	sanity check.

From-SVN: r272927

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b9ec15b..48ac980 100644 (file)
--- 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 (file)
--- 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;
     }