diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-07-10 02:38:44 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-07-10 02:38:57 +0300 |
| commit | 947dbc2655525203cf34a01470520601d884378c (patch) | |
| tree | 4b055eafdd26bcf6fef0e8aa7e32a6acc2780fb0 | |
| parent | af2870c4e5af24c6671d23e1e7a0bf0855416a6c (diff) | |
| download | paranucker-947dbc2655525203cf34a01470520601d884378c.tar.gz paranucker-947dbc2655525203cf34a01470520601d884378c.tar.bz2 paranucker-947dbc2655525203cf34a01470520601d884378c.tar.xz paranucker-947dbc2655525203cf34a01470520601d884378c.zip | |
Fix false positives in second check in while condition.
| -rw-r--r-- | src/analysis/statement.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
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); |