https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71960
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> ---
I think these assertions should always have been OK in constexpr functions, but
G++ was incorrectly evaluating the untaken branch. That has been fixed for some
time, so the checks work. The commented out checks in string_view have been
enabled on all branches, and on trunk the assertions are now unconditionally
checked during constant evaluation, not only when _GLIBCXX_ASSERTIONS is
defined.
