On 4/1/23 09:39, Jakub Jelinek wrote:
On Fri, Mar 31, 2023 at 01:28:35PM +0200, Aldy Hernandez wrote:
Ok for trunk if this passes bootstrap/regtest?
LGTM
Unfortunately I ran into 4 tests where we run into the known bug
where if ranger finds out a range of some floating point operation
it folds it and throws away the trapping side-effects with it.
Is VRP folding it, or is some other pass using ranger making a decision
based on INF > INF being false? Cause we'd ultimately like to keep
ranger honest...that is returning FALSE for the above, so the onus is on
the ranger callers on making correct decisions.
IMO.
Aldy
