Run LCLint on the code on cleaned things up a like.

[splint.git] / src / Headers / constraintTerm.h

diff --git a/src/Headers/constraintTerm.h b/src/Headers/constraintTerm.h
index 31ba0ba584e8a18f906427dad9834c37ef99d287..1d7ee6e4e47e144654c9a4d5d02f7562fca9587a 100644 (file)
--- a/src/Headers/constraintTerm.h
+++ b/src/Headers/constraintTerm.h
@@ -3,7 +3,8 @@
 
 #define __constraintTerm_h__
 
-constraintTerm constraintTerm_simplify (constraintTerm term);
+
+constraintTerm constraintTerm_simplify (/*@returned@*/ constraintTerm term);
 
 constraintTerm constraintTerm_makeExprNode (/*@only@*/ exprNode e);
 
@@ -49,8 +50,8 @@ constraintTerm constraintTerm_doSRefFixBaseParam (constraintTerm term, exprNodeL
 constraintExpr 
 constraintTerm_doSRefFixConstraintParam (constraintExpr e, exprNodeList arglist);
 
-constraintTerm constraintTerm_setFileloc (constraintTerm term, fileloc loc);
-cstring constraintTerm_print (constraintTerm term);
+constraintTerm constraintTerm_setFileloc (/*@returned@*/ constraintTerm term, fileloc loc);
+
 constraintTerm constraintTerm_makeIntLiteral (int i);
 
 bool constraintTerm_isStringLiteral (constraintTerm c);