annotate clang/test/Sema/attr-unavailable-message.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 // rdar: //6734520
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 void tooManyArgs() __attribute__((unavailable("a", "b"))); // expected-error {{'unavailable' attribute takes no more than 1 argument}}
anatofuz
parents:
diff changeset
5
anatofuz
parents:
diff changeset
6 int foo(int) __attribute__((__unavailable__("USE IFOO INSTEAD"))); // expected-note {{'foo' has been explicitly marked unavailable here}}
anatofuz
parents:
diff changeset
7 double dfoo(double) __attribute__((__unavailable__("NO LONGER"))); // expected-note 2 {{'dfoo' has been explicitly marked unavailable here}}
anatofuz
parents:
diff changeset
8
anatofuz
parents:
diff changeset
9 void bar() __attribute__((__unavailable__)); // expected-note {{explicitly marked unavailable}}
anatofuz
parents:
diff changeset
10
anatofuz
parents:
diff changeset
11 int quux(void) __attribute__((__unavailable__(12))); // expected-error {{'__unavailable__' attribute requires a string}}
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 #define ACCEPTABLE "Use something else"
anatofuz
parents:
diff changeset
14 int quux2(void) __attribute__((__unavailable__(ACCEPTABLE)));
anatofuz
parents:
diff changeset
15
anatofuz
parents:
diff changeset
16 void test_foo() {
anatofuz
parents:
diff changeset
17 int ir = foo(1); // expected-error {{'foo' is unavailable: USE IFOO INSTEAD}}
anatofuz
parents:
diff changeset
18 double dr = dfoo(1.0); // expected-error {{'dfoo' is unavailable: NO LONGER}}
anatofuz
parents:
diff changeset
19
anatofuz
parents:
diff changeset
20 void (*fp)() = &bar; // expected-error {{'bar' is unavailable}}
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 double (*fp4)(double) = dfoo; // expected-error {{'dfoo' is unavailable: NO LONGER}}
anatofuz
parents:
diff changeset
23 }
anatofuz
parents:
diff changeset
24
anatofuz
parents:
diff changeset
25 char test2[__has_feature(attribute_unavailable_with_message) ? 1 : -1];
anatofuz
parents:
diff changeset
26
anatofuz
parents:
diff changeset
27 // rdar://9623855
anatofuz
parents:
diff changeset
28 void unavail(void) __attribute__((__unavailable__));
anatofuz
parents:
diff changeset
29 void unavail(void) {
anatofuz
parents:
diff changeset
30 // No complains inside an unavailable function.
anatofuz
parents:
diff changeset
31 int ir = foo(1);
anatofuz
parents:
diff changeset
32 double dr = dfoo(1.0);
anatofuz
parents:
diff changeset
33 void (*fp)() = &bar;
anatofuz
parents:
diff changeset
34 double (*fp4)(double) = dfoo;
anatofuz
parents:
diff changeset
35 }
anatofuz
parents:
diff changeset
36
anatofuz
parents:
diff changeset
37 // rdar://10201690
anatofuz
parents:
diff changeset
38 enum foo {
anatofuz
parents:
diff changeset
39 a = 1,
anatofuz
parents:
diff changeset
40 b __attribute__((deprecated())) = 2, // expected-note {{'b' has been explicitly marked deprecated here}}
anatofuz
parents:
diff changeset
41 c = 3
anatofuz
parents:
diff changeset
42 }__attribute__((deprecated())); // expected-note {{'foo' has been explicitly marked deprecated here}}
anatofuz
parents:
diff changeset
43
anatofuz
parents:
diff changeset
44 enum fee { // expected-note 2 {{'fee' has been explicitly marked unavailable here}}
anatofuz
parents:
diff changeset
45 r = 1,
anatofuz
parents:
diff changeset
46 s = 2,
anatofuz
parents:
diff changeset
47 t = 3
anatofuz
parents:
diff changeset
48 }__attribute__((unavailable()));
anatofuz
parents:
diff changeset
49
anatofuz
parents:
diff changeset
50 enum fee f() { // expected-error {{'fee' is unavailable}}
anatofuz
parents:
diff changeset
51 int i = a; // expected-warning {{'a' is deprecated}}
anatofuz
parents:
diff changeset
52
anatofuz
parents:
diff changeset
53 i = b; // expected-warning {{'b' is deprecated}}
anatofuz
parents:
diff changeset
54
anatofuz
parents:
diff changeset
55 return r; // expected-error {{'r' is unavailable}}
anatofuz
parents:
diff changeset
56 }