*** empty log message ***

[splint.git] / src / constraintTerm.c

diff --git a/src/constraintTerm.c b/src/constraintTerm.c
index fcddae98c372f2bad93aa87784b2de47d2741829..f4f27ac3cb6d7dfea0dcf876be03ebdb1652fafb 100644 (file)
--- a/src/constraintTerm.c
+++ b/src/constraintTerm.c
@@ -19,11 +19,17 @@
 
 /*@access exprNode @*/
 
+static bool constraintTerm_isDefined (constraintTerm t)
+{
+  return t != NULL;
+}
+
 /*@unused@*/ static bool constraintTerm_same (constraintTerm p_term1, constraintTerm p_term2) ;
 
 void constraintTerm_free (/*@only@*/ constraintTerm term)
 {
-  llassert(constraintTerm_isDefined(term) );
+  llassert (constraintTerm_isDefined (term));
+
   fileloc_free (term->loc);
   
   switch (term->kind) 
@@ -107,6 +113,7 @@ constraintTerm constraintTerm_simplify (/*@returned@*/ constraintTerm term) /*@m
 
 fileloc constraintTerm_getFileloc (constraintTerm t)
 {
+  llassert (constraintTerm_isDefined (t));
   return (fileloc_copy (t->loc) );
 }