summaryrefslogtreecommitdiff
path: root/src/analysis/walkitem.h
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2015-06-19 00:31:20 +0300
committerAndrei Karas <akaras@inbox.ru>2015-06-19 00:31:20 +0300
commit4bc731cce8c5d87e18e27b4119b12d844fa5f3ec (patch)
tree278c06c97efb1dd3ba8d92d112606e764b2976a8 /src/analysis/walkitem.h
parent154855dc8d8ce6edf5ecd1bef8f0c9ce2b556e69 (diff)
downloadparanucker-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.h7
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
};