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

c++: ICE on enum with bool value [PR99968]

Browse source 
BOOLEAN_TYPE also counts as integral, so verify_type should allow it.

	PR c++/99968

gcc/ChangeLog:

	* tree.c (verify_type): Allow enumerator with BOOLEAN_TYPE.

gcc/testsuite/ChangeLog:

	* g++.dg/ext/is_enum2.C: New test.
This commit is contained in:
Jason Merrill 2021-12-27 23:46:13 -05:00
parent 9258ac53cf
commit db25655fa5
2 changed files with 11 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
gcc/testsuite/g++.dg/ext/is_enum2.C Normal file
View file

@ -0,0 +1,10 @@
// PR c++/99968
// { dg-do compile { target c++11 } }
// { dg-additional-options -g }
template <class T> struct A {
using type = T;
static const bool value = false;
};
enum E { e0 = __is_enum(E), e1 = A<E>::value };

1
gcc/tree.c
View file

@ -13704,6 +13704,7 @@ verify_type (const_tree t)
error_found = true;
}
if (TREE_CODE (TREE_TYPE (value)) != INTEGER_TYPE
&& TREE_CODE (TREE_TYPE (value)) != BOOLEAN_TYPE
&& !useless_type_conversion_p (const_cast <tree> (t), TREE_TYPE (value)))
{
error ("enum value type is not %<INTEGER_TYPE%> nor convertible "