diff options
| author | Florian Hahn <flo@fhahn.com> | 2022-10-15 18:34:02 +0100 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2022-10-15 18:34:03 +0100 |
| commit | f12684d36ef3d9c40963993f3c891656ffa87f94 (patch) | |
| tree | b644f5472275e5ea7181efeafcb630d2b9778a15 /clang/lib/Basic/SourceManager.cpp | |
| parent | 0b36d1ef1f554ac115c7159b0311455c0d9d5569 (diff) | |
| download | llvm-f12684d36ef3d9c40963993f3c891656ffa87f94.zip llvm-f12684d36ef3d9c40963993f3c891656ffa87f94.tar.gz llvm-f12684d36ef3d9c40963993f3c891656ffa87f94.tar.bz2 | |
[ConstraintElim] Support signed decomposition of `add nsw`.
Add support decomposition for `add nsw` for signed queries.
`add nsw` won't wrap and can be directly added to the signed
system.
Diffstat (limited to 'clang/lib/Basic/SourceManager.cpp')
0 files changed, 0 insertions, 0 deletions