]> granicus.if.org Git - clang/commit
[analyzer] Always use 'bool' as the SValBuilder condition type in C++.
authorJordan Rose <jordan_rose@apple.com>
Thu, 19 Dec 2013 22:32:39 +0000 (22:32 +0000)
committerJordan Rose <jordan_rose@apple.com>
Thu, 19 Dec 2013 22:32:39 +0000 (22:32 +0000)
commitb7d549d2c25575e81b60ee507b81dd079912f5e6
tree31b313df175490eaa5adc440e4daef4180d1e66e
parent45e0c0d87d5a71ddae1f0b38038fbe2f26f6a59b
[analyzer] Always use 'bool' as the SValBuilder condition type in C++.

We have assertions for this, but a few edge cases had snuck through where
we were still unconditionally using 'int'.

<rdar://problem/15703011>

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@197733 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/ExprEngine.cpp
lib/StaticAnalyzer/Core/SValBuilder.cpp
test/Analysis/casts.cpp