[CE]  variable  to  might  not  have  been  initialized