60 lines · c
1// RUN: %clang_cc1 -fsyntax-only -verify %s2 3#define NULL (void*)04 5#define ATTR __attribute__ ((__sentinel__)) 6 7void foo1 (int x, ...) ATTR; // expected-note 3 {{function has been explicitly marked sentinel here}}8void foo5 (int x, ...) __attribute__ ((__sentinel__(1))); // expected-note {{function has been explicitly marked sentinel here}}9void foo6 (int x, ...) __attribute__ ((__sentinel__(5))); // expected-note {{function has been explicitly marked sentinel here}}10void foo7 (int x, ...) __attribute__ ((__sentinel__(0))); // expected-note {{function has been explicitly marked sentinel here}}11void foo10 (int x, ...) __attribute__ ((__sentinel__(1,1)));12void foo12 (int x, ... ) ATTR; // expected-note {{function has been explicitly marked sentinel here}}13 14#define FOOMACRO(...) foo1(__VA_ARGS__)15 16void test1(void) {17 foo1(1, NULL); // OK18 foo1(1, 0) ; // expected-warning {{missing sentinel in function call}}19 foo5(1, NULL, 2); // OK20 foo5(1,2,NULL, 1); // OK21 foo5(1, NULL, 2, 1); // expected-warning {{missing sentinel in function call}}22 23 foo6(1,2,3,4,5,6,7); // expected-warning {{missing sentinel in function call}}24 foo6(1,NULL,3,4,5,6,7); // OK25 foo7(1); // expected-warning {{not enough variable arguments in 'foo7' declaration to fit a sentinel}}26 foo7(1, NULL); // OK27 28 foo12(1); // expected-warning {{not enough variable arguments in 'foo12' declaration to fit a sentinel}}29 30 // PR 568531 struct A {};32 struct A a, b, c;33 foo1(3, &a, &b, &c); // expected-warning {{missing sentinel in function call}}34 foo1(3, &a, &b, &c, (struct A*) 0);35 36 // PR1100237 FOOMACRO(1, 2); // expected-warning {{missing sentinel in function call}}38}39 40 41 42void (*e) (int arg, const char * format, ...) __attribute__ ((__sentinel__ (1,1)));43 44void test2(void) {45 void (*b) (int arg, const char * format, ...) __attribute__ ((__sentinel__)); // expected-note {{function has been explicitly marked sentinel here}}46 void (*z) (int arg, const char * format, ...) __attribute__ ((__sentinel__ (2))); // expected-note {{function has been explicitly marked sentinel here}}47 48 49 void (*y) (int arg, const char * format, ...) __attribute__ ((__sentinel__ (5))); // expected-note {{function has been explicitly marked sentinel here}}50 51 b(1, "%s", (void*)0); // OK52 b(1, "%s", 0); // expected-warning {{missing sentinel in function call}}53 z(1, "%s",4 ,1,0); // expected-warning {{missing sentinel in function call}}54 z(1, "%s", (void*)0, 1, 0); // OK55 56 y(1, "%s", 1,2,3,4,5,6,7); // expected-warning {{missing sentinel in function call}}57 58 y(1, "%s", (void*)0,3,4,5,6,7); // OK59}60