1// RUN: %clang_cc1  -fsyntax-only -verify %s
2
3#define NULL (void*)0
4
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() {
17  foo1(1, NULL); // OK
18  foo1(1, 0) ; // expected-warning {{missing sentinel in function call}}
19  foo5(1, NULL, 2);  // OK
20  foo5(1,2,NULL, 1); // OK
21  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); // OK
25  foo7(1); // expected-warning {{not enough variable arguments in 'foo7' declaration to fit a sentinel}}
26  foo7(1, NULL); // OK
27
28  foo12(1); // expected-warning {{not enough variable arguments in 'foo12' declaration to fit a sentinel}}
29
30  // PR 5685
31  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  // PR11002
37  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() {
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); // OK
52  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); // OK
55
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); // OK
59}
60