1 void init(int *x);
   2 
   3 static int foo(void)
   4 {
   5         int a[2] = { 0, 123, };
   6 
   7         if (a[1] != 123)
   8                 return 1;
   9         init(a);
  10         if (a[1] == 123)
  11                 return 2;
  12         return 0;
  13 }
  14 
  15 #if 0
  16 void init(int *x)
  17 {
  18         x[0] = x[1] = 0;
  19 }
  20 #endif
  21 
  22 /*
  23  * check-name: live-stores
  24  * check-command: test-linearize $file
  25  *
  26  * check-output-ignore
  27  * check-output-contains: store.32 *\\$123
  28  * check-output-pattern(2,3): store\\.
  29  */