diff options
| author | Florian Hahn <flo@fhahn.com> | 2022-02-09 21:16:49 +0000 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2022-02-09 21:16:49 +0000 |
| commit | 79d60b93b4390a7219ed7253ee08a554aefeb042 (patch) | |
| tree | 7c6c0ec35f4625ef1c0e68785039344b414979ed /lldb/test/API/functionalities/scripted_process | |
| parent | e329b5866f1732f5c24cf2ae96479971f7101914 (diff) | |
[ConstraintElimination] Skip floating point compares. (NFC)
The solver only supports integer conditions. Adding floating point
compares to the worklist only adds extra work. Just skip them.
Diffstat (limited to 'lldb/test/API/functionalities/scripted_process')
0 files changed, 0 insertions, 0 deletions