free_strict: silence some kfree_skb() false positives
[smatch.git] / validation / eval / asm-memop.c
blob33ba0e5a588a2460f2d790eb8d3c9a989540c0c4
1 extern int g;
3 void fo0(int *p) { asm volatile ("op %0" :: "p" (&g)); }
4 void fo1(int *p) { asm volatile ("op %0" :: "m" (g)); }
6 void fo2(int *p) { asm volatile ("op %0" :: "p" (p)); }
7 void fo3(int *p) { asm volatile ("op %0" :: "m" (*p)); }
9 /*
10 * check-name: eval-asm-memop
11 * check-command: test-linearize -Wno-decl $file
13 * check-output-start
14 fo0:
15 .L0:
16 <entry-point>
17 asm "op %0"
18 in: "p" (g)
19 ret
22 fo1:
23 .L2:
24 <entry-point>
25 asm "op %0"
26 in: "m" (g)
27 ret
30 fo2:
31 .L4:
32 <entry-point>
33 asm "op %0"
34 in: "p" (%arg1)
35 ret
38 fo3:
39 .L6:
40 <entry-point>
41 asm "op %0"
42 in: "m" (%arg1)
43 ret
46 * check-output-end