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 */ 16