diff options
| author | Florian Hahn <flo@fhahn.com> | 2022-06-23 15:57:59 +0200 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2022-06-23 15:57:59 +0200 |
| commit | 9a33f3975e1a0cbfcfa3e5455b0d1429b98fabf4 (patch) | |
| tree | 6ebabeaa8e3f9c4bb88803e19921ce9fcd3c21ba /lldb/source/Commands/CommandObjectScript.cpp | |
| parent | 30e49a3794726fd9d0ae60d34880f15e64a9fb3f (diff) | |
| download | llvm-9a33f3975e1a0cbfcfa3e5455b0d1429b98fabf4.zip llvm-9a33f3975e1a0cbfcfa3e5455b0d1429b98fabf4.tar.gz llvm-9a33f3975e1a0cbfcfa3e5455b0d1429b98fabf4.tar.bz2 | |
[ConstraintElimination] Transfer info from SLT to unsigned system.
If A s< B holds, then A u< also holds, if A s>= 0.
https://alive2.llvm.org/ce/z/J4JZuN
Diffstat (limited to 'lldb/source/Commands/CommandObjectScript.cpp')
0 files changed, 0 insertions, 0 deletions