diff options
| author | NagyDonat <donat.nagy@ericsson.com> | 2024-01-25 17:03:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-25 17:03:09 +0100 |
| commit | 9b71393569ae4508d78b8a21993c21530bfdccc5 (patch) | |
| tree | 799f534c009eac5819923849c657388e3e136381 /llvm/lib/CodeGen/MachineInstr.cpp | |
| parent | f1b1611148fa533fe198fec3fa4ef8139224dc80 (diff) | |
| download | llvm-9b71393569ae4508d78b8a21993c21530bfdccc5.zip llvm-9b71393569ae4508d78b8a21993c21530bfdccc5.tar.gz llvm-9b71393569ae4508d78b8a21993c21530bfdccc5.tar.bz2 | |
[analyzer] Avoid a crash in a debug printout function (#79446)
Previously the function `RangeConstraintManager::printValue()` crashed
when it encountered an empty rangeset (because `RangeSet::getBitwidth()`
and `RangeSet::isUnsigned()` assert that the rangeset is not empty).
This commit adds a special case that avoids this behavior.
As `printValue()` is only used by the checker debug.ExprInspection (and
during manual debugging), the impacts of this commit are very limited.
---------
Co-authored-by: Balazs Benics <benicsbalazs@gmail.com>
Diffstat (limited to 'llvm/lib/CodeGen/MachineInstr.cpp')
0 files changed, 0 insertions, 0 deletions