Fixed checking for shift expressions.

[splint.git] / src / exprChecks.c

diff --git a/src/exprChecks.c b/src/exprChecks.c
index 4beef3aff84af32725768a5c935e22fc1efd1bcb..0072539dbb56bffea6e8a7a5c2002b281c02ad27 100644 (file)
--- a/src/exprChecks.c
+++ b/src/exprChecks.c
@@ -1,6 +1,6 @@
 /*
-** LCLint - annotation-assisted static program checker
-** Copyright (C) 1994-2001 University of Virginia,
+** Splint - annotation-assisted static program checker
+** Copyright (C) 1994-2002 University of Virginia,
 **         Massachusetts Institute of Technology
 **
 ** This program is free software; you can redistribute it and/or modify it
@@ -19,7 +19,7 @@
 **
 ** For information on lclint: lclint-request@cs.virginia.edu
 ** To report a bug: lclint-bug@cs.virginia.edu
-** For more information: http://lclint.cs.virginia.edu
+** For more information: http://www.splint.org
 */
 /*
 ** exprChecks.c
@@ -930,7 +930,7 @@ void exprNode_checkFunction (/*@unused@*/ uentry ue, /*@only@*/ exprNode fcnBody
     we can skip the checking to improve performance
     
     FLG_DEBUGFUNCTIONCONSTRAINT controls wheather we perform the check anyway
-    in order to find potential problems like asserts and seg faults...
+    in order to find potential problems like assert failures and seg faults...
   */
 
   if  (!context_getFlag(FLG_DEBUGFUNCTIONCONSTRAINT)  )
@@ -1058,16 +1058,15 @@ void exprNode_checkFunction (/*@unused@*/ uentry ue, /*@only@*/ exprNode fcnBody
      }
    
    body->ensuresConstraints = constraintList_sort(body->ensuresConstraints);
-   
+
    if ( context_getFlag (FLG_FUNCTIONPOST) )
      {
        constraintList_printError(body->ensuresConstraints, g_currentloc);
      }
    
-   
    /*   ConPrint (message ("Unable to resolve function constraints:\n%s", constraintList_printDetailed(body->requiresConstraints) ), g_currentloc);
 
-       ConPrint (message ("LCLint has found function post conditions:\n%s", constraintList_printDetailed(body->ensuresConstraints) ), g_currentloc);
+       ConPrint (message ("Splint has found function post conditions:\n%s", constraintList_printDetailed(body->ensuresConstraints) ), g_currentloc);
   
        printf ("The required constraints are:\n%s", constraintList_printDetailed(body->requiresConstraints) );
        printf ("The ensures constraints are:\n%s", constraintList_printDetailed(body->ensuresConstraints) );