[analyzer] Construct stack variables directly in their VarDecl.

Also contains a number of tweaks to inlining that are necessary
for constructors and destructors. (I have this enabled on a private
branch, but it is very much unstable.)

llvm-svn: 160023

1 files changed, 1 insertions, 1 deletions

diff --git a/clang/lib/StaticAnalyzer/Core/Store.cpp b/clang/lib/StaticAnalyzer/Core/Store.cpp
index d5c88e8ad81..916db13aacf 100644
--- a/clang/lib/StaticAnalyzer/Core/Store.cpp
+++ b/clang/lib/StaticAnalyzer/Core/Store.cpp
@@ -47,7 +47,7 @@ StoreRef StoreManager::enterStackFrame(Store OldStore,
   // FIXME: We will eventually want to generalize this to handle other non-
   // parameter arguments besides 'this' (such as 'self' for ObjC methods).
   SVal ThisVal = Call.getCXXThisVal();
-  if (!ThisVal.isUndef()) {
+  if (isa<DefinedSVal>(ThisVal)) {
     const CXXMethodDecl *MD = cast<CXXMethodDecl>(Call.getDecl());
     loc::MemRegionVal ThisRegion = svalBuilder.getCXXThis(MD, LCtx);
     Store = Bind(Store.getStore(), ThisRegion, ThisVal);