]> granicus.if.org Git - clang/commitdiff
stop using loc::SymbolVal.
authorZhongxing Xu <xuzhongxing@gmail.com>
Thu, 9 Apr 2009 06:49:52 +0000 (06:49 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Thu, 9 Apr 2009 06:49:52 +0000 (06:49 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68697 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/GRExprEngine.cpp

index 7c928f39ba350ece22caee73cc53f23a3e3c34ec..3809d593cfd9afd842d52b224ae53f4049855396 100644 (file)
@@ -1599,8 +1599,9 @@ void GRExprEngine::VisitObjCForCollectionStmtAux(ObjCForCollectionStmt* S,
       QualType T = R->getRValueType(getContext());
       assert (Loc::IsLocType(T));
       unsigned Count = Builder->getCurrentBlockCount();
-      loc::SymbolVal SymV(SymMgr.getConjuredSymbol(elem, T, Count));
-      hasElems = hasElems.BindLoc(ElementV, SymV);
+      SymbolRef Sym = SymMgr.getConjuredSymbol(elem, T, Count);
+      SVal V = Loc::MakeVal(getStoreManager().getRegionManager().getSymbolicRegion(Sym));
+      hasElems = hasElems.BindLoc(ElementV, V);
 
       // Bind the location to 'nil' on the false branch.
       SVal nilV = loc::ConcreteInt(getBasicVals().getValue(0, T));