diff options
| author | Dhruv Chawla <dhruv263.dc@gmail.com> | 2023-10-20 09:24:33 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-20 09:24:33 +0530 |
| commit | 076581fd95af72c8e6d2ab900b6d1798e2efaf8f (patch) | |
| tree | 6e60458c4d1fd7cd98723efb3ccc78b6179f1f2e /llvm/tools/llvm-objdump/llvm-objdump.cpp | |
| parent | 47826b3f148996767ebd2c67ee41c329cb364fef (diff) | |
| download | llvm-076581fd95af72c8e6d2ab900b6d1798e2efaf8f.zip llvm-076581fd95af72c8e6d2ab900b6d1798e2efaf8f.tar.gz llvm-076581fd95af72c8e6d2ab900b6d1798e2efaf8f.tar.bz2 | |
[ValueTracking] Implement sdiv/udiv support for isKnownNonNullFromDominatingCondition (#67282)
The second operand of a sdiv/udiv has to be non-null, as division by
zero is UB.
Proofs: https://alive2.llvm.org/ce/z/WttZbb
Fixes https://github.com/llvm/llvm-project/issues/64240.
Diffstat (limited to 'llvm/tools/llvm-objdump/llvm-objdump.cpp')
0 files changed, 0 insertions, 0 deletions