diff options
| author | Valeriy Savchenko <vsavchenko@nitrogen.local> | 2020-05-14 17:07:54 +0300 |
|---|---|---|
| committer | Valeriy Savchenko <vsavchenko@apple.com> | 2020-05-28 18:56:38 +0300 |
| commit | 73c120a9895a7e12e3c29a755d64096c8bd0220f (patch) | |
| tree | 8d53fc7bfa3f62fd3ab213cb882389b065af5df7 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 2a09daff0f902e70a08f2b30f3461fb8848f5ab1 (diff) | |
| download | llvm-73c120a9895a7e12e3c29a755d64096c8bd0220f.zip llvm-73c120a9895a7e12e3c29a755d64096c8bd0220f.tar.gz llvm-73c120a9895a7e12e3c29a755d64096c8bd0220f.tar.bz2 | |
[analyzer] Introduce reasoning about symbolic remainder operator
Summary:
New logic tries to narrow possible result values of the remainder operation
based on its operands and their ranges. It also tries to be conservative
with negative operands because according to the standard the sign of
the result is implementation-defined.
rdar://problem/44978988
Differential Revision: https://reviews.llvm.org/D80117
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions