*** empty log message ***

[splint.git] / src / constraintGeneration.c

diff --git a/src/constraintGeneration.c b/src/constraintGeneration.c
index 351b05cb6d2501f9077636a75e6f5348809759c1..789555056364af6f2c8ccd2899a4e248a3dcc4bb 100644 (file)
--- a/src/constraintGeneration.c
+++ b/src/constraintGeneration.c
@@ -196,10 +196,12 @@ static void exprNode_stmt ( /*@dependent@*/ /*@temp@*/ exprNode e)
       
       DPRINTF (("Not Stmt") );
       DPRINTF ( (message ("%s ", exprNode_unparse (e)) ) );
-      if (exprNode_isMultiStatement (e) )
+
+      if (exprNode_isMultiStatement (e))
        {
-         return exprNode_multiStatement (e );
+         exprNode_multiStatement (e); /* evans 2001-08-21: spurious return removed */
        }
+
       DPRINTF( (message ("Ignoring non-statement %s", exprNode_unparse(e) ) ) );
       return; 
     }
@@ -215,7 +217,7 @@ static void exprNode_stmt ( /*@dependent@*/ /*@temp@*/ exprNode e)
   
   if (exprNode_isMultiStatement (snode))
     {
-       exprNode_multiStatement (snode);
+      exprNode_multiStatement (snode);
       (void) exprNode_copyConstraints (e, snode);
       return;
     }
@@ -238,7 +240,6 @@ static void exprNode_stmt ( /*@dependent@*/ /*@temp@*/ exprNode e)
   return; 
 }
 
-
 static void exprNode_stmtList  (/*@dependent@*/ exprNode e)
 {
   exprNode stmt1, stmt2;
@@ -807,9 +808,6 @@ static exprNode doSwitch (/*@returned@*/ exprNode e)
   return e;
 }
 
-
-
-
 void exprNode_multiStatement (/*@dependent@*/ exprNode e)
 {