Richard Biener wrote:
>I don't think removing all code is OK since it would
>allow combining x == y || x > y to x >= y which may
>trap. The bugreport suggests to alter the last
>test to something like
>
> if (trap && !ltrap && !rtrap)
> return NULL_TREE;
>
>thus if we manage to remove a trap (!trap) the transform
>is OK.
Hi,
Could you please explain this:
combining x == y || x > y to x >= y which may trap.
If x is a nan then x == y II x > y are false. The expr x >= y is false, too.
Where is the error?
