c++: constinit on pointer to function [PR104066]
authorMarek Polacek <polacek@redhat.com>
Thu, 17 Nov 2022 16:59:29 +0000 (11:59 -0500)
committerMarek Polacek <polacek@redhat.com>
Fri, 18 Nov 2022 00:15:57 +0000 (19:15 -0500)
commit7b3b2f50953c5143d4b14b59d322d8a793f411dd
treee69fd3fbafeda0b36353ca4c7be6aacb80d3cd2e
parent3f467ea953431aa6af12aaed6d32f476f7ace1e5
c++: constinit on pointer to function [PR104066]

[dcl.constinit]: "The constinit specifier shall be applied only to
a declaration of a variable with static or thread storage duration."

Thus, this ought to be OK:

  constinit void (*p)() = nullptr;

but the error message I introduced when implementing constinit was
not looking at funcdecl_p, so the code above was rejected.

Fixed thus.  I'm checking constinit_p first because I think that's
far more likely to be false than funcdecl_p.

PR c++/104066

gcc/cp/ChangeLog:

* decl.cc (grokdeclarator): Check funcdecl_p before complaining
about constinit.

gcc/testsuite/ChangeLog:

* g++.dg/cpp2a/constinit18.C: New test.
gcc/cp/decl.cc
gcc/testsuite/g++.dg/cpp2a/constinit18.C [new file with mode: 0644]