db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / call-variadic.c
blobe5a9925b513669a921b73a8b12973418b93efbc9
1 #define NULL ((void*)0)
3 extern int print(const char *msg, ...);
5 int foo(const char *fmt, int a, long l, int *p)
7 return print("msg %c: %d %d/%ld %ld/%p %p\n", 'x', a, __LINE__, l, 0L, p, NULL);
11 * check-name: call-variadic
12 * check-command: test-linearize -Wno-decl $file
14 * check-output-start
15 foo:
16 .L0:
17 <entry-point>
18 call.32 %r5 <- print, "msg %c: %d %d/%ld %ld/%p %p\n", $120, %arg2, $7, %arg3, $0, %arg4, $0
19 ret.32 %r5
22 * check-output-end