1 static void __attribute__((noinline
))
2 __analyzer_consume_n_uints (int num
, ...)
5 __builtin_va_start (ap
, num
);
8 for (i
= 0; i
< num
; i
++)
9 v
= __builtin_va_arg (ap
, unsigned int);
11 __builtin_va_end (ap
);
14 void test_uint (unsigned int x
)
16 __analyzer_consume_n_uints (1, x
);
19 void test_3_uints (unsigned int x
, unsigned int y
, unsigned int z
)
21 __analyzer_consume_n_uints (3, x
, y
, z
);