xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/volatile-side-effect.c (revision 5801b0f01c3c34499a929ed96164a5a68b470945)
1 void foo(int p, volatile int *ptr)
2 {
3 	p ? : *ptr;
4 	p ? : *ptr;
5 }
6 
7 /*
8  * check-name: volatile-side-effect
9  * check-command: test-linearize -Wno-decl $file
10  * check-output-ignore
11  *
12  * check-output-pattern(2): load
13  */
14