PR c++/93257 - consteval void function.

A prvalue can have void type, and if it doesn't do anything prohibited in a
constant expression, it's vacuously constant.

	* constexpr.c (verify_constant): Allow void_node.
This commit is contained in:
Jason Merrill 2020-01-15 14:45:24 -05:00
parent 7192b1ec12
commit 596334fa04
3 changed files with 15 additions and 1 deletions

View File

@ -1,5 +1,8 @@
2020-01-15 Jason Merrill <jason@redhat.com>
PR c++/93257 - consteval void function.
* constexpr.c (verify_constant): Allow void_node.
PR c++/92871 - bad code with xvalue and GNU ?: extension.
* call.c (prevent_lifetime_extension): New.
(build_conditional_expr_1): Use it.

View File

@ -2609,7 +2609,8 @@ static bool
verify_constant (tree t, bool allow_non_constant, bool *non_constant_p,
bool *overflow_p)
{
if (!*non_constant_p && !reduced_constant_expression_p (t))
if (!*non_constant_p && !reduced_constant_expression_p (t)
&& t != void_node)
{
if (!allow_non_constant)
error ("%q+E is not a constant expression", t);

View File

@ -0,0 +1,10 @@
// PR c++/93257
// { dg-do compile { target c++2a } }
template <bool, typename>
consteval void test() {}
int main() {
test<false, int>();
return 0;
}