diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-04-09 06:35:30 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-04-09 06:35:30 +0000 |
| commit | 4a8f0cf8744aedaf74a489666a1e0d73ddc052bf (patch) | |
| tree | 2c94993da44ba327074dff5391b9233d2abfc5cb /clang/lib/Analysis/CFRefCount.cpp | |
| parent | b74817f3876591d1e0bf4da1231e6062f5179f29 (diff) | |
| download | bcm5719-llvm-4a8f0cf8744aedaf74a489666a1e0d73ddc052bf.tar.gz bcm5719-llvm-4a8f0cf8744aedaf74a489666a1e0d73ddc052bf.zip | |
clean up code with new API.
llvm-svn: 68694
Diffstat (limited to 'clang/lib/Analysis/CFRefCount.cpp')
| -rw-r--r-- | clang/lib/Analysis/CFRefCount.cpp | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/clang/lib/Analysis/CFRefCount.cpp b/clang/lib/Analysis/CFRefCount.cpp index 1f7f5fb4d0f..c78ee69c32c 100644 --- a/clang/lib/Analysis/CFRefCount.cpp +++ b/clang/lib/Analysis/CFRefCount.cpp @@ -1857,12 +1857,8 @@ void CFRefCount::EvalSummary(ExplodedNodeSet<GRState>& Dst, if (Loc::IsLocType(T) || (T->isIntegerType() && T->isScalarType())) { unsigned Count = Builder.getCurrentBlockCount(); - SymbolRef Sym = Eng.getSymbolManager().getConjuredSymbol(Ex, Count); - - SVal X = Loc::IsLocType(T) - ? cast<SVal>(loc::SymbolVal(Sym)) - : cast<SVal>(nonloc::SymbolVal(Sym)); - + SVal X = SVal::GetConjuredSymbolVal(Eng.getSymbolManager(), + Eng.getStoreManager().getRegionManager(), Ex, T, Count); state = state.BindExpr(Ex, X, false); } |
