extern char *strcpy (char *__dest, const char *__src);

static void test_menu_iteminfo( void )
{
                int ansi = 1;
                void *init, *string;
                char initA[]="XYZ";
                char stringA[0x80];
                do {
                        if(ansi) {
                                string=stringA;
                                init = initA;
                        }
                        if(ansi)
                                strcpy( string, init );
                } while( !(ansi = !ansi) );
}
/*
 * check-name: kill-unreachable-phi
 * check-description:
 *      In wine source tests/menu.c
 *      Improper killing a phi instruction inside not reachable BB cause
 *      dead loop on sparse.
 *
 * check-output-ignore
 *
 */