]> git.ipfire.org Git - thirdparty/gcc.git/commit
c++: ICE in is_really_empty_class [PR95497]
authorPatrick Palka <ppalka@redhat.com>
Wed, 8 Jul 2020 18:17:47 +0000 (14:17 -0400)
committerGiuliano Belinassi <giuliano.belinassi@usp.br>
Mon, 17 Aug 2020 16:16:54 +0000 (13:16 -0300)
commit06ffcb774f55359ac8099ac75f5f83a099b6fcce
tree9eecc8fd2e49d1232008885ec1fdfe2133728515
parent1592b5dd1339ff8608ae2c9ad4eadd6f6babfda2
c++: ICE in is_really_empty_class [PR95497]

We are ICEing in the testcase below because we pass the
yet-uninstantiated class type A<int> of the PARM_DECL b to
is_really_empty_class from is_rvalue_constant_expression when parsing
the requirement t += b.

This patch fixes the ICE by guarding the problematic call to
is_really_empty_class with a COMPLETE_TYPE_P check, which should also
subsume the existing dependent_type_p check.

gcc/cp/ChangeLog:

PR c++/95497
* constexpr.c (potential_constant_expression_1) <case PARM_DECL>:
When processing_template_decl, check COMPLETE_TYPE_P before
calling is_really_empty_class.  Don't check dependent_type_p.

gcc/testsuite/ChangeLog:

PR c++/95497
* g++.dg/cpp2a/concepts-pr95497.C: New test.
gcc/cp/constexpr.c
gcc/testsuite/g++.dg/cpp2a/concepts-pr95497.C [new file with mode: 0644]