1 static int a[];
   2 
   3 static void foo(void)
   4 {
   5         int *c = &a[1];
   6         *c = *c = 0;
   7 }
   8 
   9 /*
  10  * check-name: store-dominated
  11  * check-command: test-linearize $file
  12  *
  13  * check-output-ignore
  14  * check-output-excludes: add\\.
  15  */