diff options
author | Andrei Karas <akaras@inbox.ru> | 2015-06-19 00:31:20 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2015-06-19 00:31:20 +0300 |
commit | 4bc731cce8c5d87e18e27b4119b12d844fa5f3ec (patch) | |
tree | 278c06c97efb1dd3ba8d92d112606e764b2976a8 /src/analysis/walkitem.h | |
parent | 154855dc8d8ce6edf5ecd1bef8f0c9ce2b556e69 (diff) | |
download | paranucker-4bc731cce8c5d87e18e27b4119b12d844fa5f3ec.tar.gz paranucker-4bc731cce8c5d87e18e27b4119b12d844fa5f3ec.tar.bz2 paranucker-4bc731cce8c5d87e18e27b4119b12d844fa5f3ec.tar.xz paranucker-4bc731cce8c5d87e18e27b4119b12d844fa5f3ec.zip |
Switch analysis IF_STMT to new way. Add special expression flags for future usage.
Diffstat (limited to 'src/analysis/walkitem.h')
-rw-r--r-- | src/analysis/walkitem.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/analysis/walkitem.h b/src/analysis/walkitem.h index fc33049..585d196 100644 --- a/src/analysis/walkitem.h +++ b/src/analysis/walkitem.h @@ -32,7 +32,8 @@ struct WalkItem checkedNonNullVars(), stopWalking(false), isReturned(false), - cleanExpr(false) + cleanExpr(false), + uselessExpr(true) { } @@ -43,7 +44,8 @@ struct WalkItem checkedNonNullVars(item.checkedNonNullVars), stopWalking(item.stopWalking), isReturned(item.isReturned), - cleanExpr(item.cleanExpr) + cleanExpr(item.cleanExpr), + uselessExpr(item.uselessExpr) { } @@ -54,6 +56,7 @@ struct WalkItem bool stopWalking; // stop walking on tree after this node bool isReturned; // set if return present in child nodes bool cleanExpr; // set if expression is only variable check without compound conditions + bool uselessExpr; // set if some part of expression is unknown and not checking parameters }; |