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

Reply via email to