commit 867418fdb53b351f7c88cb0255c4a250ea283c3a
author Zhongxing Xu <xuzhongxing@gmail.com> Thu Apr 09 05:57:11 2009 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Thu Apr 09 05:57:11 2009 +0000
tree 481c684569bf0334e3ae780bb26f67e76c797db3
parent fe630b943e25bb794c46b9aede836c26fad9b590

Create a symbolic region instead of a loc::SymbolVal. This is a continued step
to eliminate the use of loc::SymbolVal.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68685 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/GRExprEngine.cpp

diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index 7e3fd45..1fb7e5d 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -2536,7 +2536,8 @@
       
       // Conjure a new symbol if necessary to recover precision.
       if (Result.isUnknown() || !getConstraintManager().canReasonAbout(Result))
-        Result = SVal::GetConjuredSymbolVal(SymMgr, Ex,
+        Result = SVal::GetConjuredSymbolVal(SymMgr, 
+                                       getStoreManager().getRegionManager(),Ex,
                                             Builder->getCurrentBlockCount());
       
       state = BindExpr(state, U, U->isPostfix() ? V2 : Result);