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 b9ec15b19465ae20a6e7d76253b5de9e9d75007a..48ac980fa455223335744244fb63b419210bbd8c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+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

diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c
index 3763b8598a23cea04e63d2d3ee3b2d81ee1dab7f..c3c127a761ef296d2eeef6b6a571362ff0ffe5b5 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;
     }