diff options
author | Andrei Karas <akaras@inbox.ru> | 2015-07-01 01:41:52 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2015-07-01 01:41:52 +0300 |
commit | 28fdb6c00b7955c49f1e11c475b8aef6bc4203d9 (patch) | |
tree | babac0fdb28ea107a49d3ef0bf72b80c11ec0cb7 /src/analysis/walkitem.h | |
parent | 8bb94c8de942dc39fb9092ca1d38dca9fafbbb05 (diff) | |
download | paranucker-28fdb6c00b7955c49f1e11c475b8aef6bc4203d9.tar.gz paranucker-28fdb6c00b7955c49f1e11c475b8aef6bc4203d9.tar.bz2 paranucker-28fdb6c00b7955c49f1e11c475b8aef6bc4203d9.tar.xz paranucker-28fdb6c00b7955c49f1e11c475b8aef6bc4203d9.zip |
Add ability for remove variable from checks without linked vars.
Diffstat (limited to 'src/analysis/walkitem.h')
-rw-r--r-- | src/analysis/walkitem.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/analysis/walkitem.h b/src/analysis/walkitem.h index cb9f851..c5bcb5a 100644 --- a/src/analysis/walkitem.h +++ b/src/analysis/walkitem.h @@ -36,6 +36,7 @@ struct WalkItem knownNullVars(), knownNonNullVars(), removeNullVarsAll(), + removeNullVars(), addNullVars(), checkedNullVars(), checkedNonNullVars(), @@ -54,6 +55,7 @@ struct WalkItem knownNullVars(item.knownNullVars), knownNonNullVars(item.knownNonNullVars), removeNullVarsAll(item.removeNullVarsAll), + removeNullVars(item.removeNullVars), addNullVars(item.addNullVars), checkedNullVars(item.checkedNullVars), checkedNonNullVars(item.checkedNonNullVars), @@ -70,7 +72,8 @@ struct WalkItem StringSet knownVars; // known vars what can be checked or already checked StringSet knownNullVars; // vars checked and it null StringSet knownNonNullVars; // vars checked for null pointer - StringSet removeNullVarsAll; // need remove vars from parent checkNullVars + StringSet removeNullVarsAll; // need remove vars from parent checkNullVars with linked vars + StringSet removeNullVars; // need remove vars from parent checkNullVars without linked vars StringSet addNullVars; // need add vars to parent checkNullVars StringSet checkedNullVars; // vars checked for null in expressions StringSet checkedNonNullVars; // vars checked for nonnull in expressions |