annotate clang/test/Sema/sentinel-attribute.c @ 207:2e18cbf3894f

LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -fsyntax-only -verify %s
anatofuz
parents:
diff changeset
2 // RUN: not %clang_cc1 -fsyntax-only %s -fdiagnostics-parseable-fixits 2>&1 | \
anatofuz
parents:
diff changeset
3 // RUN: FileCheck %s --check-prefix=C
anatofuz
parents:
diff changeset
4 // RUN: not %clang_cc1 -fsyntax-only %s -fdiagnostics-parseable-fixits -x c++ -std=c++11 2>&1 | \
anatofuz
parents:
diff changeset
5 // RUN: FileCheck %s --check-prefix=CXX11
anatofuz
parents:
diff changeset
6 int x __attribute__((sentinel)); //expected-warning{{'sentinel' attribute only applies to functions, methods and blocks}}
anatofuz
parents:
diff changeset
7
anatofuz
parents:
diff changeset
8 void f1(int a, ...) __attribute__ ((sentinel)); // expected-note {{function has been explicitly marked sentinel here}}
anatofuz
parents:
diff changeset
9 void f2(int a, ...) __attribute__ ((sentinel(1)));
anatofuz
parents:
diff changeset
10
anatofuz
parents:
diff changeset
11 void f3(int a, ...) __attribute__ ((sentinel("hello"))); //expected-error{{'sentinel' attribute requires parameter 1 to be an integer constant}}
anatofuz
parents:
diff changeset
12 void f4(int a, ...) __attribute__ ((sentinel(1, 2, 3))); //expected-error{{'sentinel' attribute takes no more than 2 arguments}}
anatofuz
parents:
diff changeset
13 void f4(int a, ...) __attribute__ ((sentinel(-1))); //expected-error{{parameter 1 less than zero}}
anatofuz
parents:
diff changeset
14 void f4(int a, ...) __attribute__ ((sentinel(0, 2))); // expected-error{{parameter 2 not 0 or 1}}
anatofuz
parents:
diff changeset
15
anatofuz
parents:
diff changeset
16 void f5(int a) __attribute__ ((sentinel)); //expected-warning{{'sentinel' attribute only supported for variadic functions}}
anatofuz
parents:
diff changeset
17
anatofuz
parents:
diff changeset
18
anatofuz
parents:
diff changeset
19 void f6() __attribute__((__sentinel__)); // expected-warning {{'sentinel' attribute requires named arguments}}
anatofuz
parents:
diff changeset
20
anatofuz
parents:
diff changeset
21 void g() {
anatofuz
parents:
diff changeset
22 // The integer literal zero is not a sentinel.
anatofuz
parents:
diff changeset
23 f1(1, 0); // expected-warning {{missing sentinel in function call}}
anatofuz
parents:
diff changeset
24 // C: fix-it:{{.*}}:{23:10-23:10}:", (void*) 0"
anatofuz
parents:
diff changeset
25 // CXX11: fix-it:{{.*}}:{23:10-23:10}:", nullptr"
anatofuz
parents:
diff changeset
26 }