ddg.c (add_cross_iteration_register_deps): Call gcc_assert instead of gcc_checking_as...

	* ddg.c (add_cross_iteration_register_deps): Call gcc_assert instead
	of gcc_checking_assert.
	* sel-sched.c (code_motion_process_successors): Likewise.

From-SVN: r165790

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b834082..0ba444d 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2010-10-21  Nathan Froyd  <froydnj@codesourcery.com>
+
+       * ddg.c (add_cross_iteration_register_deps): Call gcc_assert instead
+       of gcc_checking_assert.
+       * sel-sched.c (code_motion_process_successors): Likewise.
+
 2010-10-21  Eric Botcazou  <ebotcazou@adacore.com>
 
        * cfgcleanup.c (try_forward_edges): Do not throw away previous steps

diff --git a/gcc/ddg.c b/gcc/ddg.c
index d7b093b..2cf0630 100644 (file)
--- a/gcc/ddg.c
+++ b/gcc/ddg.c
@@ -262,9 +262,11 @@ add_cross_iteration_register_deps (ddg_ptr g, df_ref last_def)
   gcc_assert (last_def_node);
   gcc_assert (first_def);
 
+#ifdef ENABLE_CHECKING
   if (DF_REF_ID (last_def) != DF_REF_ID (first_def))
-    gcc_checking_assert (!bitmap_bit_p (&bb_info->gen,
-                                       DF_REF_ID (first_def)));
+    gcc_assert (!bitmap_bit_p (&bb_info->gen,
+                              DF_REF_ID (first_def)));
+#endif
 
   /* Create inter-loop true dependences and anti dependences.  */
   for (r_use = DF_REF_CHAIN (last_def); r_use != NULL; r_use = r_use->next)

diff --git a/gcc/sel-sched.c b/gcc/sel-sched.c
index 378e561..ce014ed 100644 (file)
--- a/gcc/sel-sched.c
+++ b/gcc/sel-sched.c
@@ -6360,6 +6360,7 @@ code_motion_process_successors (insn_t insn, av_set_t orig_ops,
         goto rescan;
     }
 
+#ifdef ENABLE_CHECKING
   /* Here, RES==1 if original expr was found at least for one of the
      successors.  After the loop, RES may happen to have zero value
      only if at some point the expr searched is present in av_set, but is
@@ -6367,11 +6368,12 @@ code_motion_process_successors (insn_t insn, av_set_t orig_ops,
      The exception is when the original operation is blocked by
      bookkeeping generated for another fence or for another path in current
      move_op.  */
-  gcc_checking_assert (res == 1
-                      || (res == 0
-                          && av_set_could_be_blocked_by_bookkeeping_p (orig_ops,
-                                                                       static_params))
-                      || res == -1);
+  gcc_assert (res == 1
+             || (res == 0
+                 && av_set_could_be_blocked_by_bookkeeping_p (orig_ops,
+                                                              static_params))
+             || res == -1);
+#endif
 
   /* Merge data, clean up, etc.  */
   if (res != -1 && code_motion_path_driver_info->after_merge_succs)