*** empty log message ***

[splint.git] / src / clabstract.c

diff --git a/src/clabstract.c b/src/clabstract.c
index 1be63e86a6599c38d146d202c27b12e1f7cb2a4a..dd02ed201c374a5127d63bc944b29e7f74ed6a27 100644 (file)
--- a/src/clabstract.c
+++ b/src/clabstract.c
@@ -1269,9 +1269,14 @@ void checkValueConstant (qtype t, idDecl id, exprNode e)
            {
              uentry_mergeConstantValue (ue, multiVal_copy (exprNode_getValue (e)));
            }
+         else
+           {
+             DPRINTF (("No value: %s", exprNode_unparse (e)));
+           }
        }
     }
 
+  DPRINTF (("Constant value: %s", uentry_unparseFull (ue)));
   usymtab_supGlobalEntry (ue);
 }
 
@@ -2054,6 +2059,7 @@ sRef checkbufferConstraintClausesId (uentry ue)
        }
     }
   
+  DPRINTF (("constrant id: %s", uentry_unparseFull (ue)));
   return sRef_saveCopy (uentry_getSref (ue)); /*@i523 why the saveCopy? */
 }