validation/kill-unreachable-phi.c

   1 extern char *strcpy (char *__dest, const char *__src);
   2
   3 static void test_menu_iteminfo( void )
   4 {
   5                 int ansi = 1;
   6                 void *init, *string;
   7                 char initA[]="XYZ";
   8                 char stringA[0x80];
   9                 do {
  10                         if(ansi) {
  11                                 string=stringA;
  12                                 init = initA;
  13                         }
  14                         if(ansi)
  15                                 strcpy( string, init );
  16                 } while( !(ansi = !ansi) );
  17 }
  18 /*
  19  * check-name: kill-unreachable-phi
  20  * check-description:
  21  *      In wine source tests/menu.c
  22  *      Improper killing a phi instruction inside not reachable BB cause
  23  *      dead loop on sparse.
  24  *
  25  * check-output-ignore
  26  *
  27  */