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

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

diff --git a/src/Headers/constraintExpr.h b/src/Headers/constraintExpr.h
index 56ceb4e54e6bf6ba16d9bbda8f07a91974569633..b3bb11b53a17173169149165a322001e50b30785 100644 (file)
--- a/src/Headers/constraintExpr.h
+++ b/src/Headers/constraintExpr.h
@@ -78,14 +78,14 @@ struct constraintExpr_ {
 
 //constraintTerm constraintTerm_copy (constraintTerm term);
 
-int constraintExpr_getValue (constraintExpr expr);
+int constraintExpr_getValue (constraintExpr expr) /*@*/;
 
 constraintExpr constraintExpr_setFileloc (constraintExpr expr, fileloc loc);
 
 constraintExpr constraintExpr_copy (constraintExpr expr);
 
-cstring constraintExpr_unparse (constraintExpr ex);
-extern cstring constraintExpr_print (constraintExpr expr);
+cstring constraintExpr_unparse (constraintExpr ex) /*@*/;
+extern cstring constraintExpr_print (constraintExpr expr) /*@*/;
 
 
 bool constraintExpr_similar (constraintExpr expr1, constraintExpr expr2);
@@ -138,7 +138,7 @@ constraintExprData  constraintExprData_unaryExprSetOp (constraintExprData data,
 constraintExprData  constraintExprData_unaryExprSetExpr (constraintExprData data, constraintExpr expr);
 
 
-constraintExprBinaryOpKind  constraintExprData_binaryExprGetOp (constraintExprData data);
+constraintExprBinaryOpKind  constraintExprData_binaryExprGetOp (constraintExprData data); /*@*/
 
 constraintExpr  constraintExprData_binaryExprGetExpr1 (constraintExprData data)/*@*/;