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

[splint.git] / src / clabstract.c

diff --git a/src/clabstract.c b/src/clabstract.c
index 39c73f04562c090861878663de39ea6a2162cb4b..af1d256803f3e88eb1e6dd5162d9ef9528934c7a 100644 (file)
--- a/src/clabstract.c
+++ b/src/clabstract.c
@@ -52,9 +52,9 @@
 */
 
 /*drl*/
-static  constraintList fcnConstraints = NULL;
+/*@only@*/ static  constraintList fcnConstraints = NULL;
 
-static constraintList fcnEnsuresConstraints = NULL;
+/*@only@*/ static constraintList fcnEnsuresConstraints = NULL;
 /*end drl*/
 
 //static  constraintList fcnPreConditions = NULL;
@@ -2160,7 +2160,7 @@ sRef checkbufferConstraintClausesId (uentry ue)
        }
     }
   
-  return uentry_getSref (ue);
+  return sRef_copy( uentry_getSref (ue) );
 }
 
 void checkModifiesId (uentry ue)