c++: Partially revert fix for PR c++/95497 [PR96132]
authorPatrick Palka <ppalka@redhat.com>
Thu, 9 Jul 2020 17:47:13 +0000 (13:47 -0400)
committerPatrick Palka <ppalka@redhat.com>
Thu, 9 Jul 2020 17:47:13 +0000 (13:47 -0400)
commit614662064ad4993a2aaecf190e7399ac5279e78e
tree5ff778f4aeb96e50d62364516bafff6a24504fda
parentfab263ab0fc10ea08409b80afa7e8569438b8d28
c++: Partially revert fix for PR c++/95497 [PR96132]

I was mistaken to assume that a dependent type is necessarily
incomplete, and indeed there are multiple places in the frontend where
we check a type for both dependency and completeness.  So this patch
partially reverts the fix for PR95497, restoring the dependent_type_p
check that guarded the call to is_really_empty_class below.

gcc/cp/ChangeLog:

PR c++/96132
* constexpr.c (potential_constant_expression_1) <case PARM_DECL>:
Restore dependent_type_p check that guarded the call to
is_really_empty_class.

gcc/testsuite/ChangeLog:

PR c++/96132
* g++.dg/template/incomplete12.C: New test.
gcc/cp/constexpr.c
gcc/testsuite/g++.dg/template/incomplete12.C [new file with mode: 0644]