1*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -verify %s
2*67e74705SXin Li // RUN: not %clang_cc1 -fsyntax-only %s -fdiagnostics-parseable-fixits 2>&1 | \
3*67e74705SXin Li // RUN: FileCheck %s --check-prefix=C
4*67e74705SXin Li // RUN: not %clang_cc1 -fsyntax-only %s -fdiagnostics-parseable-fixits -x c++ -std=c++11 2>&1 | \
5*67e74705SXin Li // RUN: FileCheck %s --check-prefix=CXX11
6*67e74705SXin Li int x __attribute__((sentinel)); //expected-warning{{'sentinel' attribute only applies to functions, methods and blocks}}
7*67e74705SXin Li
8*67e74705SXin Li void f1(int a, ...) __attribute__ ((sentinel)); // expected-note {{function has been explicitly marked sentinel here}}
9*67e74705SXin Li void f2(int a, ...) __attribute__ ((sentinel(1)));
10*67e74705SXin Li
11*67e74705SXin Li void f3(int a, ...) __attribute__ ((sentinel("hello"))); //expected-error{{'sentinel' attribute requires parameter 1 to be an integer constant}}
12*67e74705SXin Li void f4(int a, ...) __attribute__ ((sentinel(1, 2, 3))); //expected-error{{'sentinel' attribute takes no more than 2 arguments}}
13*67e74705SXin Li void f4(int a, ...) __attribute__ ((sentinel(-1))); //expected-error{{parameter 1 less than zero}}
14*67e74705SXin Li void f4(int a, ...) __attribute__ ((sentinel(0, 2))); // expected-error{{parameter 2 not 0 or 1}}
15*67e74705SXin Li
16*67e74705SXin Li void f5(int a) __attribute__ ((sentinel)); //expected-warning{{'sentinel' attribute only supported for variadic functions}}
17*67e74705SXin Li
18*67e74705SXin Li
19*67e74705SXin Li void f6() __attribute__((__sentinel__)); // expected-warning {{'sentinel' attribute requires named arguments}}
20*67e74705SXin Li
g()21*67e74705SXin Li void g() {
22*67e74705SXin Li // The integer literal zero is not a sentinel.
23*67e74705SXin Li f1(1, 0); // expected-warning {{missing sentinel in function call}}
24*67e74705SXin Li // C: fix-it:{{.*}}:{23:10-23:10}:", (void*) 0"
25*67e74705SXin Li // CXX11: fix-it:{{.*}}:{23:10-23:10}:", nullptr"
26*67e74705SXin Li }
27