]> andersk Git - splint.git/blobdiff - src/functionClauseList.c
Made allocations involving sizeof work correctly (test/malloc.c).
[splint.git] / src / functionClauseList.c
index a78acf37de1cac264055a9b3c688227a14d99f33..cb1a43222212d7424a9b2262d444bce4f6f78531 100644 (file)
@@ -173,17 +173,16 @@ functionClauseList_free (functionClauseList s)
 }
 
 functionClauseList 
-functionClauseList_setImplictConstraints (/*@returned@*/ functionClauseList s)
+functionClauseList_setImplicitConstraints (/*@returned@*/ functionClauseList s)
 {
   bool addedConstraints;
 
   constraintList c;
   
-  DPRINTF ((message ("functionClauseList_setImplictConstraints called ") ));
+  DPRINTF ((message ("functionClauseList_setImplicitConstraints called ") ));
   
   addedConstraints = FALSE;
 
-
   c = getImplicitFcnConstraints ();
   
   if (constraintList_isEmpty(c) )
@@ -203,14 +202,14 @@ functionClauseList_setImplictConstraints (/*@returned@*/ functionClauseList s)
                {
                  constraintList implCons = getImplicitFcnConstraints ();
                  
-                 DPRINTF ((message ("functionClauseList_ImplictConstraints adding the implict constraints: %s to %s",
+                 DPRINTF ((message ("functionClauseList_ImplicitConstraints adding the implict constraints: %s to %s",
                                     constraintList_print(implCons), constraintList_print (con->constraint.buffer))));
                  
                  functionConstraint_addBufferConstraints (con, constraintList_copy (implCons) );
 
                  addedConstraints = TRUE;
                  
-                 DPRINTF ((message ("functionClauseList_ImplictConstraints the new constraint is %s",
+                 DPRINTF ((message ("functionClauseList_ImplicitConstraints the new constraint is %s",
                                     functionConstraint_unparse (con))));
 
                }
This page took 0.036578 seconds and 4 git commands to generate.