diff options
| author | Alireza Torabian <alireza.torabian@huawei.com> | 2025-10-31 13:19:20 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-31 13:19:20 -0400 |
| commit | 1b3e7df195f4900a858e97a887e47eddd6dabdfe (patch) | |
| tree | e1ce321b25c335a930c08b6eaafc44d99422a5f2 /llvm/lib/TextAPI/BinaryReader/DylibReader.cpp | |
| parent | e5f3d7f4695556a17af7c70bd31aa52f55108301 (diff) | |
| download | llvm-1b3e7df195f4900a858e97a887e47eddd6dabdfe.zip llvm-1b3e7df195f4900a858e97a887e47eddd6dabdfe.tar.gz llvm-1b3e7df195f4900a858e97a887e47eddd6dabdfe.tar.bz2 | |
[DA] Check for overflow in strong SIV test (#164704)
Rely on the product of `UpperBound` and `AbsCoeff` only if SCEV
can prove that there is no overflow. Also the same about the result
of the subtraction of `DstConst` from `SrcConst` to calculate `Delta`.
Diffstat (limited to 'llvm/lib/TextAPI/BinaryReader/DylibReader.cpp')
0 files changed, 0 insertions, 0 deletions