From 7bdd6303341a8de9f498b75a02e7313c2bc5a409 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Fri, 7 Mar 2008 18:43:49 +0000 Subject: Patch by Nuno Lopes: Added more comments for code processing attribute "format". Added more checks for corner cases, test cases, and warnings. llvm-svn: 48011 --- clang/test/Sema/format-attribute.c | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 clang/test/Sema/format-attribute.c (limited to 'clang/test/Sema/format-attribute.c') diff --git a/clang/test/Sema/format-attribute.c b/clang/test/Sema/format-attribute.c new file mode 100644 index 00000000000..0b166e3c4dc --- /dev/null +++ b/clang/test/Sema/format-attribute.c @@ -0,0 +1,16 @@ +//RUN: clang -fsyntax-only -verify %s + +#include + +void a(const char *a, ...) __attribute__((format(printf, 1,2))); // no-error +void b(const char *a, ...) __attribute__((format(printf, 1,1))); // expected-error {{'format' attribute parameter 3 is out of bounds}} +void c(const char *a, ...) __attribute__((format(printf, 0,2))); // expected-error {{'format' attribute parameter 2 is out of bounds}} +void d(const char *a, int c) __attribute__((format(printf, 1,2))); // expected-error {{format attribute requires variadic function}} +void e(char *str, int c, ...) __attribute__((format(printf, 2,3))); // expected-error {{format argument not a string type}} + +typedef const char* xpto; +void f(xpto c, va_list list) __attribute__((format(printf, 1, 0))); // no-error +void g(xpto c) __attribute__((format(printf, 1, 0))); // no-error + +void y(char *str) __attribute__((format(strftime, 1,0))); // no-error +void z(char *str, int c, ...) __attribute__((format(strftime, 1,2))); // expected-error {{strftime format attribute requires 3rd parameter to be 0}} -- cgit v1.2.3