badr(void)1 static int badr(void)
2 {
3 	int *a;
4 	return *a;
5 }
6 
badw(int v)7 static void badw(int v)
8 {
9 	int *a;
10 	*a = v;
11 }
12 
13 /*
14  * check-name: undef00
15  * check-command: test-linearize -fdump-ir=mem2reg $file
16  * check-output-ignore
17  * check-output-pattern(1): load\\.
18  * check-output-pattern(1): load\\..*\\[UNDEF\\]
19  * check-output-pattern(1): store\\.
20  * check-output-pattern(1): store\\..*\\[UNDEF\\]
21  */
22