1 struct s {
   2         volatile int a;
   3 };
   4 
   5 struct s s;
   6 
   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  */