X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/a1fa5e0cd1829645f34fc88765918c7fce3212ea..0298464281f13d6f20b586de60d33d1c029ff71b:/src/exprChecks.c

diff --git a/src/exprChecks.c b/src/exprChecks.c
index 3691147..de0a466 100644
--- a/src/exprChecks.c
+++ b/src/exprChecks.c
@@ -928,7 +928,7 @@ void exprNode_checkFunction (/*@unused@*/ uentry ue, /*@only@*/ exprNode fcnBody
 
   body = fcnBody;
 
-  // if we're not going to printing any errors for buffer buffer flows
+  // if we're not going to be printing any errors for buffer overflows
   //we can skip the checking to improve performance
   //
   //FLG_DEBUGFUNCTIONCONSTRAINT controls wheather we perform the check anyway
@@ -1010,6 +1010,8 @@ void exprNode_checkFunction (/*@unused@*/ uentry ue, /*@only@*/ exprNode fcnBody
 		body->requiresConstraints = constraintList_reflectChangesFreePre (body->requiresConstraints, implicitFcnConstraints );
 	      }
      }
+
+   body->requiresConstraints = constraintList_sort (body->requiresConstraints);
    
    constraintList_printError(body->requiresConstraints, g_currentloc);
    
@@ -1054,6 +1056,7 @@ void exprNode_checkFunction (/*@unused@*/ uentry ue, /*@only@*/ exprNode fcnBody
    if (constraintList_isDefined(post) )
      constraintList_free(post);
    
+   body->ensuresConstraints = constraintList_sort(body->ensuresConstraints);
    
    constraintList_printError(body->ensuresConstraints, g_currentloc);