diff options
| author | Florian Hahn <flo@fhahn.com> | 2022-06-23 17:17:01 +0200 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2022-06-23 17:17:01 +0200 |
| commit | 316e106f49c4c86f3485d69d1539e2aed12251c0 (patch) | |
| tree | 719a5bd5eb90ab8179600ba6d67820318c507765 /lldb/source/Commands | |
| parent | 9ec7e4df57f3716018cc0ef60c5d37c8cf6a7cbc (diff) | |
| download | llvm-316e106f49c4c86f3485d69d1539e2aed12251c0.zip llvm-316e106f49c4c86f3485d69d1539e2aed12251c0.tar.gz llvm-316e106f49c4c86f3485d69d1539e2aed12251c0.tar.bz2 | |
[ConstraintElimination] Transfer info from ULT to signed system.
If A u< B holds, then A s>= 0 && A s< B holds if B s>= 0.
https://alive2.llvm.org/ce/z/RrNxHh
Diffstat (limited to 'lldb/source/Commands')
0 files changed, 0 insertions, 0 deletions