https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88446
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2018-12-11
CC| |jason at gcc dot gnu.org
Ever confirmed|0 |1
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
And as Eric mentioned,
static_assert (__builtin_is_constant_evaluated ());
should not fail either.
I guess the array bounds including new are because GCC as an extension supports
VLAs (though sure, outside of function contexts we reject them anyway).
Jason, do you think we should handle these bounds with pretend_const_required
true to cxx_eval_outermost_constant_expr, like e.g. maybe_constant_init_1 with
pretend_const_required does?
