From: johanknol <johanknol@4a8a32a2-be11-0410-ad9d-d568d2c75423>
Date: Thu, 30 Jan 2003 11:26:33 +0000 (+0000)
Subject: this will signal an inter error, speeds up bug tracing
X-Git-Url: https://git.gag.com/?a=commitdiff_plain;h=95d5e0df563b42defa5407fdc2fadef1fae2e4ba;p=fw%2Fsdcc

this will signal an inter error, speeds up bug tracing


git-svn-id: https://sdcc.svn.sourceforge.net/svnroot/sdcc/trunk/sdcc@2192 4a8a32a2-be11-0410-ad9d-d568d2c75423
---

diff --git a/ChangeLog b/ChangeLog
index 43b4ea1c..bf677e33 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2003-01-30    <johan@balder>
+
+	* src/SDCCBBlock.c: automatic bug detection
+	* src/SDCCicode.c: automatic bug detection
+
 2003-01-29  Jesus Calvino-Fraga <jesusc@ece.ubc.ca>
 
 	* src/SDCCglobl.h:   now --xram-size 0 works
diff --git a/src/SDCCBBlock.c b/src/SDCCBBlock.c
index 9b809bed..717b97cf 100644
--- a/src/SDCCBBlock.c
+++ b/src/SDCCBBlock.c
@@ -419,6 +419,7 @@ addiCodeToeBBlock (eBBlock * ebp, iCode * ic, iCode * ip)
 void 
 remiCodeFromeBBlock (eBBlock * ebb, iCode * ic)
 {
+  wassert (ic->seq>=ebb->fSeq && ic->seq<=ebb->lSeq);
   if (ic->prev)
     ic->prev->next = ic->next;
   else
diff --git a/src/SDCCicode.c b/src/SDCCicode.c
index 4ab359dc..bc3ccc16 100644
--- a/src/SDCCicode.c
+++ b/src/SDCCicode.c
@@ -117,20 +117,20 @@ iCodeTable codeTable[] =
 
 // this makes it more easy to catch bugs
 struct bitVect *OP_DEFS(struct operand *op) {
-  assert (IS_SYMOP(op));
+  wassert (IS_SYMOP(op));
   return OP_SYMBOL(op)->defs;
 }
 struct bitVect *OP_DEFS_SET(struct operand *op, struct bitVect *bv) {
-  assert (IS_SYMOP(op));
+  wassert (IS_SYMOP(op));
   OP_SYMBOL(op)->defs=bv;
   return bv;
 }
 struct bitVect *OP_USES(struct operand *op) {
-  assert (IS_SYMOP(op));
+  wassert (IS_SYMOP(op));
   return OP_SYMBOL(op)->uses;
 }
 struct bitVect *OP_USES_SET(struct operand *op, struct bitVect *bv) {
-  assert (IS_SYMOP(op));
+  wassert (IS_SYMOP(op));
   OP_SYMBOL(op)->uses=bv;
   return bv;
 }