]> git.ipfire.org Git - thirdparty/gcc.git/commit
c++: fix ICE with is_really_empty_class [PR110106]
authorMarek Polacek <polacek@redhat.com>
Tue, 18 Jul 2023 20:02:21 +0000 (16:02 -0400)
committerMarek Polacek <polacek@redhat.com>
Fri, 21 Jul 2023 17:52:19 +0000 (13:52 -0400)
commite36d1994051122fc6e1f8c728fbd109a59e0a822
tree8f11577cbb2b188cea8c1b682bea7cedd1446e8a
parenta31ef26b056d0c4f0a9f08b6eb81456ea257298e
c++: fix ICE with is_really_empty_class [PR110106]

is_really_empty_class is liable to crash when it gets an incomplete
or dependent type.  Since r11-557, we pass the yet-uninstantiated
class type S<0> of the PARM_DECL s to is_really_empty_class -- because
of the potential_rvalue_constant_expression -> is_rvalue_constant_expression
change in cp_parser_constant_expression.  Here we're not parsing
a template so we did not check COMPLETE_TYPE_P as we should.

It should work to complete the type before checking COMPLETE_TYPE_P.

PR c++/110106

gcc/cp/ChangeLog:

* constexpr.cc (potential_constant_expression_1): Try to complete the
type when !processing_template_decl.

gcc/testsuite/ChangeLog:

* g++.dg/cpp0x/noexcept80.C: New test.
gcc/cp/constexpr.cc
gcc/testsuite/g++.dg/cpp0x/noexcept80.C [new file with mode: 0644]