aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/kill-unreachable-phi.c
blob: 4c7e2490283410a8974f0becb22aacb055dd1d6a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
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
 *
 */