diff options
| author | Valeriy Savchenko <vsavchenko@apple.com> | 2020-05-04 19:44:43 +0300 |
|---|---|---|
| committer | Valeriy Savchenko <vsavchenko@apple.com> | 2020-05-28 18:55:22 +0300 |
| commit | 47c4b8bd68698b1827f39c3056783ed042faf718 (patch) | |
| tree | 96de2a86e57318a6ea08b83eba5af3c00420f2e7 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 1f57d76a8dd00611aaa4b33048be195ea9a2dc44 (diff) | |
| download | llvm-47c4b8bd68698b1827f39c3056783ed042faf718.zip llvm-47c4b8bd68698b1827f39c3056783ed042faf718.tar.gz llvm-47c4b8bd68698b1827f39c3056783ed042faf718.tar.bz2 | |
[analyzer] Generalize bitwise OR rules for ranges
Summary:
Previously the current solver started reasoning about bitwise OR
expressions only when one of the operands is a constant. However,
very similar logic could be applied to ranges. This commit addresses
this shortcoming. Additionally, it refines how we deal with negative
operands.
Differential Revision: https://reviews.llvm.org/D79336
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions