From ad6e5b262a4f2ca31cf0d397ac22f33ebca13c50 Mon Sep 17 00:00:00 2001
From: Ted Kremenek <kremenek@apple.com>
Date: Thu, 29 Nov 2012 01:03:10 +0000
Subject: [PATCH] Change SValBuilder::getConditionType() to return BoolTy in
 C++.  Fixes <rdar://problem/12772656>.

llvm-svn: 168846
---
 clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
index 5d72e73..17c6b83 100644
--- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
+++ b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
@@ -124,7 +124,7 @@ public:
   ProgramStateManager &getStateManager() { return StateMgr; }
   
   QualType getConditionType() const {
-    return  getContext().IntTy;
+    return Context.getLangOpts().CPlusPlus ? Context.BoolTy : Context.IntTy;
   }
   
   QualType getArrayIndexType() const {
-- 
2.7.4