1struct s {
2	volatile int a;
3};
4
5struct s s;
6
7void foo(void)
8{
9	s;
10	s.a;
11}
12
13/*
14 * check-name: load-semi-volatile
15 * check-command: test-linearize -Wno-decl $file
16 *
17 * check-output-ignore
18 * check-output-pattern(1): load
19 *
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.
24 */
25