https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123205
--- Comment #1 from Andrew Macleod <amacleod at redhat dot com> --- Created attachment 63088 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=63088&action=edit proposed patch The proposed solution is to change the recomputation check to only include range-op statements (ie, those with a range-op handler), and add a flag to the operator indicating whether this specific range-op handler is re-computable or not. Then disable recomputation for builtin_constant_p. I think the rest of range-ops are fine, but this allows full control over recomputation. Testing is in progress
