c++: check completeness after auto deduction [PR80351]
commit8d0fcf135857869f7cff36d29bc3527c482372a9
authorJason Merrill <jason@redhat.com>
Thu, 24 Mar 2022 01:01:20 +0000 (23 18:01 -0700)
committerJason Merrill <jason@redhat.com>
Fri, 29 Apr 2022 18:22:27 +0000 (29 14:22 -0400)
tree231843bc29a0076c60ca961aec1124b888156ba9
parent4a8b45e8bc8246bd141dad65f571a3e0cc499c6b
c++: check completeness after auto deduction [PR80351]

Normally we check for incomplete type in start_decl, but that obviously
doesn't work for auto variables. Thanks to Pokechu22 for the analysis and
testcases:

"When cp_finish_decl calls cp_apply_type_quals_to_decl on a const auto or
constexpr auto variable, the type might not be complete the first time
(this happened when auto deduces to an initializer_list).
cp_apply_type_quals_to_decl removes the const qualifier if the type is
not complete, which is appropriate for grokdeclarator, on the assumption
that the type will be complete when called by cp_finish_decl."

PR c++/80351

gcc/cp/ChangeLog:

* decl.cc (cp_finish_decl): Check completeness of deduced type.

gcc/testsuite/ChangeLog:

* g++.dg/cpp0x/constexpr-77482.C: Adjust message.
* g++.dg/cpp1y/auto-fn27.C: Likewise.
* g++.dg/cpp1y/lambda-generic-variadic22.C: Likewise.
* g++.dg/cpp1z/decomp54.C: Likewise.
* g++.dg/cpp0x/initlist-const1.C: New test.
* g++.dg/warn/Wunused-var-37.C: New test.
* g++.dg/warn/Wunused-var-38.C: New test.
* g++.dg/warn/Wunused-var-39.C: New test.
gcc/cp/decl.cc
gcc/testsuite/g++.dg/cpp0x/constexpr-77482.C
gcc/testsuite/g++.dg/cpp0x/initlist-const1.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp1y/auto-fn27.C
gcc/testsuite/g++.dg/cpp1y/lambda-generic-variadic22.C
gcc/testsuite/g++.dg/cpp1z/decomp54.C
gcc/testsuite/g++.dg/warn/Wunused-var-37.C [new file with mode: 0644]
gcc/testsuite/g++.dg/warn/Wunused-var-38.C [new file with mode: 0644]
gcc/testsuite/g++.dg/warn/Wunused-var-39.C [new file with mode: 0644]