badr(void)1static int badr(void) 2 { 3 int *a; 4 return *a; 5 } 6 badw(int v)7static 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