diff options
| author | Jordy Rose <jediknil@belkadan.com> | 2011-06-15 04:55:49 +0000 |
|---|---|---|
| committer | Jordy Rose <jediknil@belkadan.com> | 2011-06-15 04:55:49 +0000 |
| commit | b891bd8a3c7b8224c3e7b11d98d335c1cc5d66e4 (patch) | |
| tree | 90638e584c634a8aceb092ed2aeec4b6e2555181 /llvm/lib/Transforms/Utils/SimplifyCFG.cpp | |
| parent | d7bc5c26ab82730104648711d0ed90d6144020b1 (diff) | |
| download | bcm5719-llvm-b891bd8a3c7b8224c3e7b11d98d335c1cc5d66e4.tar.gz bcm5719-llvm-b891bd8a3c7b8224c3e7b11d98d335c1cc5d66e4.zip | |
[analyzer] When performing a binary operation on symbolic operands, we convert the symbol values to a common type. But in a relational operation, the result is an 'int' or 'bool', which may not be the appropriate type to convert the operands to. In these cases, use the left-hand operand's type as the conversion type.
There's no associated test for this because fully-constrained symbolic values are evaluated ahead of time in normal expressions. This can only come up in checker-constructed expressions (like the ones in an upcoming patch to CStringChecker).
llvm-svn: 133041
Diffstat (limited to 'llvm/lib/Transforms/Utils/SimplifyCFG.cpp')
0 files changed, 0 insertions, 0 deletions
