[cfe-commits] r169478 - /cfe/trunk/lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp

[Ted Kremenek]

Author: kremenek
Date: Thu Dec  6 01:17:04 2012
New Revision: 169478

URL: http://llvm.org/viewvc/llvm-project?rev=169478&view=rev
Log:
Use 'getOriginalRegion()' rather than going through the logic to recreate it.

Modified:
    cfe/trunk/lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp

Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp
URL: 
http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp?rev=169478&r1=169477&r2=169478&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp 
(original)
+++ cfe/trunk/lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp Thu 
Dec  6 01:17:04 2012
@@ -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()) {


_______________________________________________
cfe-commits mailing list
cfe-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits