From 0aa5c4565d822e77c73a815fedf87cd2bc825ec9 Mon Sep 17 00:00:00 2001 From: Fariborz Jahanian Date: Fri, 15 May 2009 20:33:25 +0000 Subject: This patch finishes off the sentinel attribute handling for blocks and function pointers. llvm-svn: 71888 --- .../Sema/function-pointer-sentinel-attribute.c | 23 ++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 clang/test/Sema/function-pointer-sentinel-attribute.c (limited to 'clang/test/Sema/function-pointer-sentinel-attribute.c') diff --git a/clang/test/Sema/function-pointer-sentinel-attribute.c b/clang/test/Sema/function-pointer-sentinel-attribute.c new file mode 100644 index 00000000000..0de02fa5363 --- /dev/null +++ b/clang/test/Sema/function-pointer-sentinel-attribute.c @@ -0,0 +1,23 @@ +// RUN: clang-cc -fsyntax-only -verify %s + +void (*e) (int arg, const char * format, ...) __attribute__ ((__sentinel__ (1,1))); + +int main() +{ + void (*b) (int arg, const char * format, ...) __attribute__ ((__sentinel__)); // expected-note {{function has been explicitly marked sentinel here}} + void (*z) (int arg, const char * format, ...) __attribute__ ((__sentinel__ (2))); // expected-note {{function has been explicitly marked sentinel here}} + + + void (*y) (int arg, const char * format, ...) __attribute__ ((__sentinel__ (5))); // expected-note {{function has been explicitly marked sentinel here}} + + b(1, "%s", (void*)0); // OK + b(1, "%s", 0); // expected-warning {{missing sentinel in function call}} + z(1, "%s",4 ,1,0); // expected-warning {{missing sentinel in function call}} + z(1, "%s", (void*)0, 1, 0); // OK + + y(1, "%s", 1,2,3,4,5,6,7); // expected-warning {{missing sentinel in function call}} + + y(1, "%s", (void*)0,3,4,5,6,7); // OK + +} + -- cgit v1.2.3