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

llvm-svn: 168846
2012-11-29 01:03:10 +00:00 · 2012-11-29 01:03:10 +00:00 · ad6e5b262a
parent 75a0333bf8
commit ad6e5b262a
1 changed files with 1 additions and 1 deletions
--- 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 {