diff options
Diffstat (limited to 'src/analysis/collections.h')
-rw-r--r-- | src/analysis/collections.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/analysis/collections.h b/src/analysis/collections.h index 70d8d03..6e31f87 100644 --- a/src/analysis/collections.h +++ b/src/analysis/collections.h @@ -50,12 +50,20 @@ namespace Analysis void mergeThenNullChecked(WalkItem &wi1, WalkItem &wi2); + void mergeElseNullChecked(WalkItem &wi1, WalkItem &wi2); + void mergeThenNonNullChecked(WalkItem &wi1, WalkItem &wi2); + void mergeElseNonNullChecked(WalkItem &wi1, WalkItem &wi2); + void intersectThenNullChecked(WalkItem &wi, WalkItem &wi1, WalkItem &wi2); + void intersectElseNullChecked(WalkItem &wi, WalkItem &wi1, WalkItem &wi2); + void intersectThenNonNullChecked(WalkItem &wi, WalkItem &wi1, WalkItem &wi2); + void intersectElseNonNullChecked(WalkItem &wi, WalkItem &wi1, WalkItem &wi2); + void removeFromNeedCheckNullVars(WalkItem &wi, std::set<std::string> &vars); } |