• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // RUN: %clang_cc1  -fsyntax-only -verify %s
2 
3 #define NULL (void*)0
4 
5 #define ATTR __attribute__ ((__sentinel__))
6 
7 void foo1 (int x, ...) ATTR; // expected-note 3 {{function has been explicitly marked sentinel here}}
8 void foo5 (int x, ...) __attribute__ ((__sentinel__(1))); // expected-note {{function has been explicitly marked sentinel here}}
9 void foo6 (int x, ...) __attribute__ ((__sentinel__(5))); // expected-note {{function has been explicitly marked sentinel here}}
10 void foo7 (int x, ...) __attribute__ ((__sentinel__(0))); // expected-note {{function has been explicitly marked sentinel here}}
11 void foo10 (int x, ...) __attribute__ ((__sentinel__(1,1)));
12 void foo12 (int x, ... ) ATTR; // expected-note {{function has been explicitly marked sentinel here}}
13 
14 #define FOOMACRO(...) foo1(__VA_ARGS__)
15 
test1()16 void 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 
42 void (*e) (int arg, const char * format, ...) __attribute__ ((__sentinel__ (1,1)));
43 
test2()44 void 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