db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / load-semi-volatile.c
blobae3b548b8bd350939dea6368bddff4ec25df4acd
1 struct s {
2 volatile int a;
3 };
5 struct s s;
7 void foo(void)
9 s;
10 s.a;
14 * check-name: load-semi-volatile
15 * check-command: test-linearize -Wno-decl $file
17 * check-output-ignore
18 * check-output-pattern(1): load
20 * check-description:
21 * The load at line 9 must be removed.
22 * The load at line 10 is volatile and thus
23 * must not be removed.