Merge pull request #7153 from tautschnig/cleanup/remove-enum_constant_type

Remove c_enum_constant_type

Author: kroening

src/util/c_types.cpp

@@ -24,19 +24,6 @@ bitvector_typet index_type()
   return c_index_type();
 }
 
-/// return type of enum constants
-bitvector_typet c_enum_constant_type()
-{
-  // usually same as 'int',
-  // but might be unsigned, or shorter than 'int'
-  return signed_int_type();
-}
-
-bitvector_typet enum_constant_type()
-{
-  return c_enum_constant_type();
-}
-
 signedbv_typet signed_int_type()
 {
   signedbv_typet result(config.ansi_c.int_width);

src/util/c_types.h

@@ -473,10 +473,6 @@ DEPRECATED(
   SINCE(2022, 1, 13, "use c_index_type() or array_typet::index_type() instead"))
 bitvector_typet index_type();
 
-DEPRECATED(SINCE(2022, 1, 13, "use c_enum_constant_type() instead"))
-bitvector_typet enum_constant_type();
-
-bitvector_typet c_enum_constant_type();
 bitvector_typet c_index_type();
 signedbv_typet signed_int_type();
 unsignedbv_typet unsigned_int_type();