From 41a188424ec40c7900de1ff28d792753d5a16e85 Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Fri, 10 Jul 2015 01:16:03 +0300
Subject: In WHILE_STMT also check condition after while body.

This allow detect issue like this:
    if (!ptr)
        return;
    while (ptr->num)
    {
        ...
        ptr = someothervalue;
    }
---
 src/analysis/statement.cpp | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/analysis')

diff --git a/src/analysis/statement.cpp b/src/analysis/statement.cpp
index 1d64ac3..a9bfef4 100644
--- a/src/analysis/statement.cpp
+++ b/src/analysis/statement.cpp
@@ -232,6 +232,11 @@ void analyseWhileStmt(WhileStmtNode *node, const WalkItem &wi, WalkItem &wo)
     else if (bodyNode)
     {
         addNeedCheckNullVars2(wo2, wo);
+
+        wci = wo;
+        wco = wo;
+        walkTree(condNode, wci, wco);
+        Log::dumpWI(node, "wco2 ", wco);
     }
 
     wo.isReturned = false;
-- 
cgit v1.2.3-60-g2f50