// { dg-do run }// Origin: Giovanni Bajo <giovannibajo at gcc dot gnu dot org>// DR128: Casting between enum typesextern"C"voidabort(void);enumE1{BLACK=0,RED=1};enumE2{WHITE=0,YELLOW=1};intmain(void){E1e1=RED;E2e2=static_cast<E2>(e1);if(e2!=YELLOW)abort();return0;}