static void __attribute__((noinline)) | |
__analyzer_consume_n_uints (int num, ...) | |
{ | |
__builtin_va_list ap; | |
__builtin_va_start (ap, num); | |
int i, v; | |
for (i = 0; i < num; i++) | |
v = __builtin_va_arg (ap, unsigned int); | |
__builtin_va_end (ap); | |
} | |
void test_uint (unsigned int x) | |
{ | |
__analyzer_consume_n_uints (1, x); | |
} | |
void test_3_uints (unsigned int x, unsigned int y, unsigned int z) | |
{ | |
__analyzer_consume_n_uints (3, x, y, z); | |
} |