xref: /illumos-gate/usr/src/tools/smatch/src/validation/builtin_va_arg_pack.c (revision f52943a93040563107b95bccb9db87d9971ef47d)
1 extern void v(int a, ...);
2 
3 extern inline __attribute__((__always_inline__)) void f(int a, ...)
4 {
5 	__SIZE_TYPE__ b = __builtin_va_arg_pack_len();
6 }
7 
8 extern inline __attribute__((__always_inline__)) void g(int a, ...)
9 {
10 	v(a, __builtin_va_arg_pack());
11 }
12 
13 static void h(void)
14 {
15 	f(0, 0);
16 	g(0, 0);
17 }
18 /*
19  * check-name: __builtin_va_arg_pack()
20  */
21