Making changes to try to support loops.

[splint.git] / src / exprChecks.c

diff --git a/src/exprChecks.c b/src/exprChecks.c
index 518ad05c8dfaa82f43f7a497c4b18263db9baf7f..07765e239176a6f1cd379c25ada8a1cf4be3cb16 100644 (file)
--- a/src/exprChecks.c
+++ b/src/exprChecks.c
@@ -883,6 +883,8 @@ void exprNode_checkFunctionBody (exprNode body)
                }
            }
        }
+
+      exprNode_checkFunction (context_getHeader (), body);
       
       if (!checkret)
        {
@@ -890,6 +892,7 @@ void exprNode_checkFunctionBody (exprNode body)
        }
     }
 }
+/*drl modified */
 
 void exprNode_checkFunction (/*@unused@*/ uentry ue, /*@only@*/ exprNode body)
 {