diff options
| author | Patrick Palka <ppalka@redhat.com> | 2020-07-08 14:17:47 -0400 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2020-07-08 14:17:47 -0400 |
| commit | 9eb7d0d76eb652caa9186766da4fe965f113b1b8 (patch) | |
| tree | 062d37e5edfaf868b953d4f906f8cb913a047573 /gcc/gcov-tool.c | |
| parent | c1a57681a64150d2fc336ba8e055c5f82e3737e8 (diff) | |
| download | gcc-9eb7d0d76eb652caa9186766da4fe965f113b1b8.zip gcc-9eb7d0d76eb652caa9186766da4fe965f113b1b8.tar.gz gcc-9eb7d0d76eb652caa9186766da4fe965f113b1b8.tar.bz2 | |
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.
Diffstat (limited to 'gcc/gcov-tool.c')
0 files changed, 0 insertions, 0 deletions