db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / memops-missed01.c
blobfc616f1976a1e8ffcbeff795544fa34f50e81e78
1 void bar(int);
3 void foo(void)
5 char buf[1] = { 42 };
6 const char *p = buf;
7 const char **q = &p;
8 int ch = 0;
9 switch (**q) {
10 case 4:
11 ch = 2;
13 bar(ch);
17 * check-name: memops-missed01
18 * check-command: test-linearize -Wno-decl $file
20 * check-output-ignore
21 * check-output-excludes: store\\.
22 * check-output-excludes: load\\.