db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / store-dominated.c
blob5780ba6b0ddd01fcbd9ea0f06e59e3ed70575729
1 static int a[];
3 static void foo(void)
5 int *c = &a[1];
6 *c = *c = 0;
9 /*
10 * check-name: store-dominated
11 * check-command: test-linearize $file
13 * check-output-ignore
14 * check-output-excludes: add\\.