Alexander Shaposhnikov 015da3534a [analyzer] Fix assert in ExprEngine::processSwitch
This diff replaces getTypeSize(CondE->getType())) 
with getIntWidth(CondE->getType())) in ExprEngine::processSwitch.
These calls are not equivalent for bool, see ASTContext.cpp
Add a test case.

Test plan:
make check-clang-analysis
make check-clang

Differential revision: https://reviews.llvm.org/D32328

llvm-svn: 300936
2017-04-21 01:05:26 +00:00
..
2017-04-18 14:33:39 +00:00
2017-04-12 22:12:15 +00:00
2017-02-25 07:21:23 +00:00
2017-04-18 14:33:39 +00:00
2017-04-18 14:33:39 +00:00