*** empty log message ***

[splint.git] / src / clabstract.c

diff --git a/src/clabstract.c b/src/clabstract.c
index db822877e72bf33e107f712fa9bded90270f267b..e0f0c6f343879b5ed247835055b22bdaef2e9de5 100644 (file)
--- a/src/clabstract.c
+++ b/src/clabstract.c
@@ -51,11 +51,6 @@
 ** right values are available in the right place.
 */
 
-/*drl*/
-/*@only@*/ static  constraintList fcnConstraints = NULL;
-
-/*end drl*/
-
 /*drl */
 static /*@only@*/   constraintList implicitFcnConstraints = NULL;
 
@@ -2038,11 +2033,12 @@ sRef checkStateClausesId (uentry ue)
 sRef checkbufferConstraintClausesId (uentry ue)
 {
   cstring s = uentry_rawName (ue);
+
   if (cstring_equalLit (s, "result"))
     {
       if (optgenerror 
          (FLG_SYNTAX, 
-          message ("Special clause list uses %s which is a variable and has special "
+          message ("Function clause list uses %s which is a variable and has special "
                    "meaning in a modifies list.  (Special meaning assumed.)", s), 
           g_currentloc))
        {
@@ -2050,7 +2046,7 @@ sRef checkbufferConstraintClausesId (uentry ue)
        }
     }
   
-  return sRef_saveCopy( uentry_getSref (ue) );
+  return sRef_saveCopy (uentry_getSref (ue)); /*@i523 why the saveCopy? */
 }
 
 void checkModifiesId (uentry ue)
@@ -2143,7 +2139,7 @@ sRef fixStateClausesId (cstring s)
 
   if (cstring_equalLit (s, "result"))
     {
-      ret = sRef_makeResult ();
+      ret = sRef_makeResult (ctype_unknown);
     }
   else
     {