diff options
| author | Ramkumar Ramachandra <ramkumar.ramachandra@codasip.com> | 2024-09-27 12:00:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-27 12:00:50 +0100 |
| commit | 3fee3e83a8a802cd23e79fbf2f1320bb8f961d0c (patch) | |
| tree | 8b0a4d77992fb25a4551deaa562c30db23270bfd /clang/unittests/Tooling/Syntax/TreeTest.cpp | |
| parent | 5cc64bf60bc04b9315de3c679eb753de4d554a8a (diff) | |
| download | llvm-3fee3e83a8a802cd23e79fbf2f1320bb8f961d0c.zip llvm-3fee3e83a8a802cd23e79fbf2f1320bb8f961d0c.tar.gz llvm-3fee3e83a8a802cd23e79fbf2f1320bb8f961d0c.tar.bz2 | |
KnownBits: refine srem for high-bits (#109121)
KnownBits::srem does not correctly set the leader zero-bits, omitting
the fact that LHS may be known-negative or known-non-negative. Fix this.
Alive2 proof: https://alive2.llvm.org/ce/z/Ugh-Dq
Diffstat (limited to 'clang/unittests/Tooling/Syntax/TreeTest.cpp')
0 files changed, 0 insertions, 0 deletions