From 947dbc2655525203cf34a01470520601d884378c Mon Sep 17 00:00:00 2001 From: Andrei Karas Date: Fri, 10 Jul 2015 02:38:44 +0300 Subject: Fix false positives in second check in while condition. --- src/analysis/statement.cpp | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src') diff --git a/src/analysis/statement.cpp b/src/analysis/statement.cpp index f8b428f..d3a066f 100644 --- a/src/analysis/statement.cpp +++ b/src/analysis/statement.cpp @@ -233,6 +233,8 @@ void analyseWhileStmt(WhileStmtNode *node, const WalkItem &wi, WalkItem &wo) const Command oldCommand = command; disableCommand(DetectUseless); + // after this wo2 changed for cond node + addNeedCheckNullVars(wo2, wo2); wci = wo2; wco = wo2; walkTree(condNode, wci, wco); -- cgit v1.2.3-70-g09d2