commit | e0c6c67d670588508da2d343193cfe2845bef7e0 | [log] [tgz] |
---|---|---|
author | Ted Kremenek <kremenek@apple.com> | Thu Dec 06 07:17:04 2012 +0000 |
committer | Ted Kremenek <kremenek@apple.com> | Thu Dec 06 07:17:04 2012 +0000 |
tree | bb8a5202de37086885ee53f86c917be108988853 | |
parent | 030a6644f253818b81b4d8a7fc1770c0a3d35474 [diff] |
Use 'getOriginalRegion()' rather than going through the logic to recreate it. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@169478 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp b/lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp index 6023048..865cbad 100644 --- a/lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp
@@ -75,9 +75,7 @@ continue; // Get the VarRegion associated with VD in the local stack frame. - const LocationContext *LC = C.getLocationContext(); - VR = C.getSValBuilder().getRegionManager().getVarRegion(VD, LC); - SVal VRVal = state->getSVal(VR); + SVal VRVal = state->getSVal(I.getOriginalRegion()); if (VRVal.isUndef()) if (ExplodedNode *N = C.generateSink()) {