1 struct s {
2 	volatile int a;
3 };
4 
5 struct s s;
6 
foo(void)7 void 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