https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80265
--- Comment #35 from Marc Glisse <glisse at gcc dot gnu.org> --- I just noticed that Jonathan has already written such a patch in https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86590#c28 but didn't commit it (maybe because is_constant_evaluated was not committed yet, or because it was not sufficient to solve that PR).
