https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101254
--- Comment #11 from Andrew Macleod <amacleod at redhat dot com> --- (In reply to Jakub Jelinek from comment #10) > Comment on attachment 51084 [details] > another patch > > Except for some consistency (max is in comments lowercase, but MIN is > uppercase), it looks good to me. latest version i had already switched those to +INF and -INF terminology. Running thru testing now. > Slightly OT, wonder if something tries to handle even the swapped arguments, > i.e. relation op1 < op2 and subtraction op2 - op1. But that can be done > incrementally if not done yet... Not sure I follow. Why would we be interested in swapping operands of a minus?