Skip to content
Unverified Commit 79d60b93 authored by Florian Hahn's avatar Florian Hahn
Browse files

[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.
parent e329b586
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment