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