xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/volatile-side-effect.c (revision b531f6d16eb39863e7bbc34773fb7ef7a282a0a2)
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