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