diff options
author | Jeff Layton <jlayton@redhat.com> | 2013-07-19 06:33:40 -0400 |
---|---|---|
committer | Christopher Li <sparse@chrisli.org> | 2013-07-25 04:32:07 -0700 |
commit | 5aa922d3919897481c8e65d9603ffc55e551fc19 (patch) | |
tree | 5bb38471d1bea711696261551bce676fa6a2d530 | |
parent | 5a3bd40c1e9976c0896ad2d198e202a515dcf194 (diff) | |
download | sparse-5aa922d3919897481c8e65d9603ffc55e551fc19.tar.gz |
sparse: add __builtin_va_arg_pack() and __builtin_va_arg_pack_len()
this patch stops sparse from complaining about them not being defined:
/usr/include/bits/stdio2.h:98:25: error: undefined identifier '__builtin_va_arg_pack'
/usr/include/bits/stdio2.h:98:25: error: not a function <noident>
Signed-off-by: Jeff Layton <jlayton@redhat.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
-rw-r--r-- | lib.c | 2 | ||||
-rw-r--r-- | validation/builtin_va_arg_pack.c | 20 |
2 files changed, 22 insertions, 0 deletions
@@ -777,6 +777,7 @@ void declare_builtin_functions(void) add_pre_buffer("extern long __builtin_alpha_cmpbge(long, long);\n"); add_pre_buffer("extern long __builtin_labs(long);\n"); add_pre_buffer("extern double __builtin_fabs(double);\n"); + add_pre_buffer("extern __SIZE_TYPE__ __builtin_va_arg_pack_len(void);\n"); add_pre_buffer("extern void __sync_synchronize();\n"); add_pre_buffer("extern int __sync_bool_compare_and_swap(void *, ...);\n"); @@ -876,6 +877,7 @@ void create_builtin_stream(void) add_pre_buffer("#define __builtin_va_copy(dest, src) ({ dest = src; (void)0; })\n"); add_pre_buffer("#define __builtin_va_end(arg)\n"); add_pre_buffer("#define __builtin_ms_va_end(arg)\n"); + add_pre_buffer("#define __builtin_va_arg_pack()\n"); /* FIXME! We need to do these as special magic macros at expansion time! */ add_pre_buffer("#define __BASE_FILE__ \"base_file.c\"\n"); diff --git a/validation/builtin_va_arg_pack.c b/validation/builtin_va_arg_pack.c new file mode 100644 index 00000000..3426b86b --- /dev/null +++ b/validation/builtin_va_arg_pack.c @@ -0,0 +1,20 @@ +extern void v(int a, ...); + +extern inline __attribute__((__always_inline__)) void f(int a, ...) +{ + __SIZE_TYPE__ b = __builtin_va_arg_pack_len(); +} + +extern inline __attribute__((__always_inline__)) void g(int a, ...) +{ + v(a, __builtin_va_arg_pack()); +} + +static void h(void) +{ + f(0, 0); + g(0, 0); +} +/* + * check-name: __builtin_va_arg_pack() + */ |