From: Ted Kremenek <kremenek@apple.com>
Date: Thu, 29 Nov 2012 01:03:10 +0000 (+0000)
Subject: Change SValBuilder::getConditionType() to return BoolTy in C++.  Fixes <rdar://proble... 
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a4317709127e3b63c44a34f9fa1c3f8abe6a77a3;p=clang

Change SValBuilder::getConditionType() to return BoolTy in C++.  Fixes <rdar://problem/12772656>.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@168846 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h b/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
index 5d72e73a3d..17c6b8337b 100644
--- a/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
+++ b/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 {