On Wed, Apr 03, 2024 at 09:35:07AM +0200, Richard Biener wrote:
> Just in case making the control expression constant to the middle-end
> doesn't scale.
I think we need to evaluate it as constant expression in any case, that is
the only way to determine if it is trivial infinite loop or not.
The constant evaluator already has constexpr_ops_count counter and
doesn't process more than -fconstexpr-ops-limit= operations, then it will
just punt (in this case quietly).
And, when we already evaluate it, just storing the result is very cheap.
Jakub
