diff options
| author | Anna Zaks <ganna@apple.com> | 2017-01-13 00:50:57 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2017-01-13 00:50:57 +0000 |
| commit | b570195c3a76bc60deb562023fc1865368c234fb (patch) | |
| tree | b6f9c3b2aae5441f0c481955b5859aa5b24a196f /clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp | |
| parent | e43b4fc0ae2930d8932cfdeab7c9c44791ec2053 (diff) | |
| download | bcm5719-llvm-b570195c3a76bc60deb562023fc1865368c234fb.tar.gz bcm5719-llvm-b570195c3a76bc60deb562023fc1865368c234fb.zip | |
[analyzer] Add LocationContext as a parameter to checkRegionChanges
This patch adds LocationContext to checkRegionChanges and removes
wantsRegionChangeUpdate as it was unused.
A patch by Krzysztof Wiśniewski!
Differential Revision: https://reviews.llvm.org/D27090
llvm-svn: 291869
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp index 92c5fe6b6f1..f5e64f4a5a8 100644 --- a/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp +++ b/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp @@ -115,11 +115,11 @@ void ExprEngine::VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S, SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T, currBldrCtx->blockCount()); SVal V = svalBuilder.makeLoc(Sym); - hasElems = hasElems->bindLoc(elementV, V); + hasElems = hasElems->bindLoc(elementV, V, LCtx); // Bind the location to 'nil' on the false branch. SVal nilV = svalBuilder.makeIntVal(0, T); - noElems = noElems->bindLoc(elementV, nilV); + noElems = noElems->bindLoc(elementV, nilV, LCtx); } // Create the new nodes. |
