Patchwork [7/9] New assertion

login
register
mail settings
Submitter zhroma@ispras.ru
Date July 21, 2011, 4:30 p.m.
Message ID <1311265834-2144-8-git-send-email-zhroma@ispras.ru>
Download mbox | patch
Permalink /patch/106100/
State New
Headers show

Comments

zhroma@ispras.ru - July 21, 2011, 4:30 p.m.
This patch adds an assertion in function rtl_lv_add_condition_to_bb.
It allows me to find mistakes easier while writing code which creates
complex loop versioning condition in previous patch.

2011-07-20  Roman Zhuykov  <zhroma@ispras.ru>
	* cfgrtl.c (rtl_lv_add_condition_to_bb): New assertion.
---
 gcc/cfgrtl.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

Patch

diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c
index 7eb4362..068da4a 100644
--- a/gcc/cfgrtl.c
+++ b/gcc/cfgrtl.c
@@ -3103,6 +3103,7 @@  rtl_lv_add_condition_to_bb (basic_block first_head ,
   start_sequence ();
   op0 = force_operand (op0, NULL_RTX);
   op1 = force_operand (op1, NULL_RTX);
+  gcc_assert (op0 && op1);
   do_compare_rtx_and_jump (op0, op1, comp, 0,
 			   mode, NULL_RTX, NULL_RTX, label, -1);
   jump = get_last_insn ();