From: drl7x <drl7x>
Date: Tue, 23 Jul 2002 21:05:11 +0000 (+0000)
Subject: Fixed internal bug that occured when dumping bounds-check annotations involving struc... 
X-Git-Tag: splint-3_1_0~100
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/0f9b7373240aec911db59be859ad5484b0e6a6a7

Fixed internal bug that occured when dumping bounds-check annotations involving structure fields.
---

diff --git a/src/constraintExpr.c b/src/constraintExpr.c
index 62d8f03..c40a31f 100644
--- a/src/constraintExpr.c
+++ b/src/constraintExpr.c
@@ -2139,6 +2139,10 @@ void  constraintExpr_dump (/*@observer@*/ constraintExpr expr,  FILE *f)
   constraintExprKind kind;
   constraintTerm t;
   
+
+  DPRINTF((message("constraintExpr_dump:: dumping constraintExpr %s",
+		   constraintExpr_unparse(expr)
+		   ) ));
   
   kind = expr->kind;
   
diff --git a/src/constraintTerm.c b/src/constraintTerm.c
index a309c9d..868c9d5 100644
--- a/src/constraintTerm.c
+++ b/src/constraintTerm.c
@@ -581,6 +581,10 @@ void constraintTerm_dump ( /*@observer@*/ constraintTerm t,  FILE *f)
 	    fprintf(f, "Param %s %d\n", cstring_toCharsSafe(ctString), (int) param );
 	    cstring_free(ctString);
 	  }
+	else if (sRef_isField (s) )
+	  {
+	    fprintf(f, "sRef_dump %s\n", cstring_toCharsSafe(sRef_dump(s)) );
+	  }
 	else
 	  {
 	    u = sRef_getUentry(s);
@@ -651,6 +655,11 @@ void constraintTerm_dump ( /*@observer@*/ constraintTerm t,  FILE *f)
 	    s = sRef_makeParam (param, t, stateInfo_makeLoc (g_currentloc));
 	    free (ostr2);
 	  }
+	else if (strcmp (term, "sRef_dump" ) == 0 )
+	  {
+	    reader_checkChar(&str, ' ');
+	    s = sRef_undump (&str);
+	  }
 	else  /* This must be an identified that we can search for in usymTab */
 	  {
 	    cstring termStr = cstring_makeLiteralTemp(term);