xref: /illumos-gate/usr/src/tools/smatch/src/validation/memops-volatile.c (revision 856f710c9dc323b39da5935194d7928ffb99b67f)
1 static int foo(volatile int *a, int v)
2 {
3 	*a = v;
4 	return *a;
5 }
6 
7 /*
8  * check-name: memops-volatile
9  * check-command: test-linearize $file
10  *
11  * check-output-start
12 foo:
13 .L0:
14 	<entry-point>
15 	store.32    %arg2 -> 0[%arg1]
16 	load.32     %r5 <- 0[%arg1]
17 	ret.32      %r5
18 
19 
20  * check-output-end
21  */
22