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