diff options
author | Chris Lattner <sabre@nondot.org> | 2008-06-17 18:05:57 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2008-06-17 18:05:57 +0000 |
commit | 5696e7badf181efd93355bd55718f422252362b0 (patch) | |
tree | 9562bea195fea80d837014b9707e87a8fab94013 /clang/lib/Analysis/GRExprEngine.cpp | |
parent | 5e4188f1acd814dff1f2155c05576f8892223c40 (diff) | |
download | bcm5719-llvm-5696e7badf181efd93355bd55718f422252362b0.tar.gz bcm5719-llvm-5696e7badf181efd93355bd55718f422252362b0.zip |
Change self/_cmd to be instances of ImplicitParamDecl instead of ParmVarDecl.
Patch by David Chisnall!
llvm-svn: 52422
Diffstat (limited to 'clang/lib/Analysis/GRExprEngine.cpp')
-rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index ce64875797c..837d9100914 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/lib/Analysis/GRExprEngine.cpp @@ -144,12 +144,18 @@ ValueState* GRExprEngine::getInitialState() { for (LVDataTy::decl_iterator I=D.begin_decl(), E=D.end_decl(); I != E; ++I) { - VarDecl* VD = cast<VarDecl>(const_cast<ScopedDecl*>(I->first)); - - if (VD->hasGlobalStorage() || isa<ParmVarDecl>(VD)) { - RVal X = RVal::GetSymbolValue(SymMgr, VD); - StateMgr.BindVar(StateImpl, VD, X); + ScopedDecl *SD = const_cast<ScopedDecl*>(I->first); + if (VarDecl* VD = dyn_cast<VarDecl>(SD)) { + if (VD->hasGlobalStorage() || isa<ParmVarDecl>(VD)) { + RVal X = RVal::GetSymbolValue(SymMgr, VD); + StateMgr.BindVar(StateImpl, VD, X); + } + } else if (ImplicitParamDecl *IPD = dyn_cast<ImplicitParamDecl>(SD)) { + RVal X = RVal::GetSymbolValue(SymMgr, IPD); + StateMgr.BindVar(StateImpl, IPD, X); } + + } return StateMgr.getPersistentState(StateImpl); |