diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2018-12-15 10:37:01 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2018-12-15 10:37:01 +0000 |
| commit | f61567f42ad667a10102a74873ff7f2d8b9780fb (patch) | |
| tree | 30e8334a807e8b822d2b0e549da7d0f4c7e29156 /clang/lib/StaticAnalyzer/Core/ProgramState.cpp | |
| parent | 781a0896b0efcb788067a5fa6245d0562aefd1dd (diff) | |
| download | bcm5719-llvm-f61567f42ad667a10102a74873ff7f2d8b9780fb.tar.gz bcm5719-llvm-f61567f42ad667a10102a74873ff7f2d8b9780fb.zip | |
[InstSimplify] Add tests for saturating add/sub + icmp; NFC
If a saturating add/sub with a constant operand is compared to
another constant, we should be able to determine that the condition
is always true/false in some cases (but currently don't).
llvm-svn: 349261
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ProgramState.cpp')
0 files changed, 0 insertions, 0 deletions
