diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2012-08-20 17:04:45 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2012-08-20 17:04:45 +0000 |
| commit | 7f839a6b35e5007964b538423b0a570eed26fc10 (patch) | |
| tree | 6f8857660e44ddb3d651aa172954327701c0513d /lib/StaticAnalyzer/Core/ExprEngine.cpp | |
| parent | e50ee7e513c0707302bd8e2a78befc318a7d593c (diff) | |
[analyzer] The result of && or || is always a 1 or 0.
Forgetting to at least cast the result was giving us Loc/NonLoc problems
in SValBuilder (hitting an assertion). But the standard (both C and C++)
does actually guarantee that && and || will result in the actual values
1 and 0, typed as 'int' in C and 'bool' in C++, and we can easily model that.
PR13461
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162209 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExprEngine.cpp')
0 files changed, 0 insertions, 0 deletions