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 | 0a9ea7c70de2db1e8de3f75fbac61d302ef52375 (patch) | |
| tree | b088b91232261fb4babfbbb068b99b05b31f74f2 /llvm/lib/ExecutionEngine/JIT | |
| parent | 486290078c7af9afefe0564f2094047f07ee84a5 (diff) | |
| download | bcm5719-llvm-0a9ea7c70de2db1e8de3f75fbac61d302ef52375.tar.gz bcm5719-llvm-0a9ea7c70de2db1e8de3f75fbac61d302ef52375.zip | |
[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
llvm-svn: 162209
Diffstat (limited to 'llvm/lib/ExecutionEngine/JIT')
0 files changed, 0 insertions, 0 deletions
