Add ability for detect what variable will be non null after if block.

Example:
    if (!ptr)
    {
        ptr1 = new data;
    }
    // here ptr1 always non null

1 files changed, 6 insertions, 0 deletions

diff --git a/src/analysis/collections.h b/src/analysis/collections.h
index a03cbe5..1e36bf0 100644
--- a/src/analysis/collections.h
+++ b/src/analysis/collections.h
@@ -86,6 +86,12 @@ namespace Analysis
     void enforceNeedCheckNullVars(WalkItem &wi);
 
     void removeLinkVarOnly(WalkItem &wi, const std::string &var);
+
+    void removeNeedCheckNullVars2(WalkItem &wco, WalkItem &wi, WalkItem &wo);
+
+    void addKnownNonNullVarWithLinked(WalkItem &wo, WalkItem &wi, const std::string &var);
+
+    void removeNeedCheckNullVarOnly(WalkItem &wi, const std::string &var);
 }
 
 #endif // ANALYSIS_COLLECTIONS_H