In WHILE_STMT also check condition after while body.

This allow detect issue like this:
    if (!ptr)
        return;
    while (ptr->num)
    {
        ...
        ptr = someothervalue;
    }

1 files changed, 5 insertions, 0 deletions

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;