1// { dg-do run } 2// Origin: Giovanni Bajo <giovannibajo at gcc dot gnu dot org> 3// DR128: Casting between enum types 4 5extern "C" void abort(void); 6 7enum E1 { BLACK = 0, RED = 1 }; 8enum E2 { WHITE = 0, YELLOW = 1}; 9 10int main(void) 11{ 12 E1 e1 = RED; 13 E2 e2 = static_cast<E2>(e1); 14 if (e2 != YELLOW) 15 abort(); 16 return 0; 17} 18