commit 52170722ecb7f70e76dc47134163e75c5cef857b
author Ted Kremenek <kremenek@apple.com> Wed Mar 04 00:23:05 2009 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Mar 04 00:23:05 2009 +0000
tree 90ed9492586cea38f25d5bd21fed87dfacd5d0c7
parent 6d2714738f6c9f191e196f54fc24fa3978ac43a2

RegionStore: Handle implicit parameters.

llvm-svn: 65987

clang/lib/Analysis/RegionStore.cpp

diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp
index 7bae5e4..a05a42f 100644
--- a/clang/lib/Analysis/RegionStore.cpp
+++ b/clang/lib/Analysis/RegionStore.cpp
@@ -704,15 +704,17 @@
   if (const VarRegion* VR = dyn_cast<VarRegion>(R)) {
     const VarDecl *VD = VR->getDecl();
     
-    if (isa<ParmVarDecl>(VD) || VD->hasGlobalStorage()) {
+    if (VD == SelfDecl)
+      return loc::MemRegionVal(getSelfRegion(0));
+    
+    if (isa<ParmVarDecl>(VD) || isa<ImplicitParamDecl>(VD) ||
+        VD->hasGlobalStorage()) {
       QualType VTy = VD->getType();
       if (Loc::IsLocType(VTy) || VTy->isIntegerType())
         return SVal::GetRValueSymbolVal(getSymbolManager(), VR);
       else
         return UnknownVal();
     }
-    else if (VD == SelfDecl)
-      return loc::MemRegionVal(getSelfRegion(0));
   }