From 5696e7badf181efd93355bd55718f422252362b0 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Tue, 17 Jun 2008 18:05:57 +0000
Subject: Change self/_cmd to be instances of ImplicitParamDecl instead of
 ParmVarDecl. Patch by David Chisnall!

llvm-svn: 52422
---
 clang/lib/Analysis/GRExprEngine.cpp | 16 +++++++++++-----
 1 file changed, 11 insertions(+), 5 deletions(-)

(limited to 'clang/lib/Analysis/GRExprEngine.cpp')

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);
-- 
cgit v1.2.3