FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

c++: Fix error recovery ICE [PR112365]

Browse source 
check_field_decls for DECL_C_BIT_FIELD FIELD_DECLs with error_mark_node
TREE_TYPE continues early and doesn't call check_bitfield_decl which would
either set DECL_BIT_FIELD, or clear DECL_C_BIT_FIELD.  So, the following
testcase ICEs after emitting tons of errors, because
SET_DECL_FIELD_CXX_ZERO_WIDTH_BIT_FIELD asserts DECL_BIT_FIELD.

The patch skips that for FIELD_DECLs with error_mark_node, another
option would be to check DECL_BIT_FIELD in addition to DECL_C_BIT_FIELD.

2023-11-16  Jakub Jelinek  <jakub@redhat.com>

	PR c++/112365
	* class.cc (layout_class_type): Don't
	SET_DECL_FIELD_CXX_ZERO_WIDTH_BIT_FIELD on FIELD_DECLs with
	error_mark_node type.

	* g++.dg/cpp0x/pr112365.C: New test.
This commit is contained in:
Jakub Jelinek 2023-11-16 17:42:22 +01:00
parent 06ff410e0d
commit 0fa32aeaa6
2 changed files with 10 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
gcc/cp/class.cc
View file

@ -6962,7 +6962,8 @@ layout_class_type (tree t, tree *virtuals_p)
check_bitfield_decl eventually sets DECL_SIZE (field)
to that width. */
&& (DECL_SIZE (field) == NULL_TREE
|| integer_zerop (DECL_SIZE (field))))
|| integer_zerop (DECL_SIZE (field)))
&& TREE_TYPE (field) != error_mark_node)
SET_DECL_FIELD_CXX_ZERO_WIDTH_BIT_FIELD (field, 1);
check_non_pod_aggregate (field);
}

8
gcc/testsuite/g++.dg/cpp0x/pr112365.C Normal file
View file

@ -0,0 +1,8 @@
// PR c++/112365
// { dg-do compile { target c++11 } }
// { dg-excess-errors "" }
template <typename> struct A;
template <typename T> A <T> foo (T;
template <typename T> struct A { constexpr A : T {} }
struct { bar ( { foo (this)