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 43b4ea1cf96eb1aa3e8832bd9b69c442b0c6f0cd..bf677e3360be1ce278940e8a3cee250f008e6257 100644 (file)
--- 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 9b809bed9cfbaca434bc1752508f9e7191917a96..717b97cfd371a4d3a90646b6f0f579b9b2853fdb 100644 (file)
--- 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 4ab359dc000872995b73e548e0cec1ef05681ae6..bc3ccc161b9877f681f4abe5d7f1b3253458b7e6 100644 (file)
--- 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;
 }