fwprop.c (update_uses): Use flag_checking instead of gcc_checking_assert.

	* fwprop.c (update_uses): Use flag_checking instead of
	gcc_checking_assert.

From-SVN: r230612

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index bca577e..de3318c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-11-19  Michael Matz  <matz@suse.de>
+
+       * fwprop.c (update_uses): Use flag_checking instead of
+       gcc_checking_assert.
+
 2015-11-19  David Malcolm  <dmalcolm@redhat.com>
 
        * doc/gty.texi (Support for inheritance): Fix missing

diff --git a/gcc/fwprop.c b/gcc/fwprop.c
index a500e18..863e35d 100644 (file)
--- a/gcc/fwprop.c
+++ b/gcc/fwprop.c
@@ -893,7 +893,8 @@ update_uses (df_ref use)
       if (DF_REF_ID (use) >= (int) use_def_ref.length ())
         use_def_ref.safe_grow_cleared (DF_REF_ID (use) + 1);
 
-      gcc_checking_assert (sparseset_bit_p (active_defs_check, regno));
+      if (flag_checking)
+       gcc_assert (sparseset_bit_p (active_defs_check, regno));
       use_def_ref[DF_REF_ID (use)] = active_defs[regno];
     }
 }