From e87b55214b0e0df713da78b59ea4ec2c7b5a4ed2 Mon Sep 17 00:00:00 2001
From: Ted Kremenek <kremenek@apple.com>
Date: Tue, 8 May 2012 05:13:40 +0000
Subject: Teach the analyzer about CXXScaleValueInitExpr.

llvm-svn: 156369
---
 clang/lib/StaticAnalyzer/Core/Environment.cpp | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'clang/lib/StaticAnalyzer/Core/Environment.cpp')

diff --git a/clang/lib/StaticAnalyzer/Core/Environment.cpp b/clang/lib/StaticAnalyzer/Core/Environment.cpp
index b5ea3db7f31..53e856688ae 100644
--- a/clang/lib/StaticAnalyzer/Core/Environment.cpp
+++ b/clang/lib/StaticAnalyzer/Core/Environment.cpp
@@ -71,6 +71,11 @@ SVal Environment::getSVal(const EnvironmentEntry &Entry,
         else 
           return svalBuilder.makeBoolVal(cast<CXXBoolLiteralExpr>(E));
       }
+      case Stmt::CXXScalarValueInitExprClass:
+      case Stmt::ImplicitValueInitExprClass: {
+        QualType Ty = cast<Expr>(E)->getType();
+        return svalBuilder.makeZeroVal(Ty);
+      }
       case Stmt::IntegerLiteralClass: {
         // In C++, this expression may have been bound to a temporary object.
         SVal const *X = ExprBindings.lookup(EnvironmentEntry(E, LCtx));
-- 
cgit v1.2.3