type: introduce get_final_type()
[smatch.git] / validation / memops-volatile.c
blob0f3e12ad24fc027a1bd1cfdf6051c059945ccc9e
1 static int foo(volatile int *a, int v)
3 *a = v;
4 return *a;
7 /*
8 * check-name: memops-volatile
9 * check-command: test-linearize $file
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
20 * check-output-end