1 extern char *strcpy (char *__dest, const char *__src); 2 test_menu_iteminfo(void)3static 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 */ 28