|
150
|
1 // RUN: %clang_cc1 -fsyntax-only -verify -Wconsumed -std=c++11 %s
|
|
|
2
|
|
|
3 #define CALLABLE_WHEN(...) __attribute__ ((callable_when(__VA_ARGS__)))
|
|
|
4 #define CONSUMABLE(state) __attribute__ ((consumable(state)))
|
|
|
5 #define SET_TYPESTATE(state) __attribute__ ((set_typestate(state)))
|
|
|
6 #define RETURN_TYPESTATE(state) __attribute__ ((return_typestate(state)))
|
|
|
7 #define TEST_TYPESTATE(state) __attribute__ ((test_typestate(state)))
|
|
|
8
|
|
|
9 // FIXME: This test is here because the warning is issued by the Consumed
|
|
|
10 // analysis, not SemaDeclAttr. The analysis won't run after an error
|
|
|
11 // has been issued. Once the attribute propagation for template
|
|
|
12 // instantiation has been fixed, this can be moved somewhere else and the
|
|
|
13 // definition can be removed.
|
|
|
14 int returnTypestateForUnconsumable() RETURN_TYPESTATE(consumed); // expected-warning {{return state set for an unconsumable type 'int'}}
|
|
|
15 int returnTypestateForUnconsumable() {
|
|
|
16 return 0;
|
|
|
17 }
|
|
|
18
|
|
|
19 class AttrTester0 {
|
|
|
20 void consumes() __attribute__ ((set_typestate())); // expected-error {{'set_typestate' attribute takes one argument}}
|
|
|
21 bool testUnconsumed() __attribute__ ((test_typestate())); // expected-error {{'test_typestate' attribute takes one argument}}
|
|
|
22 void callableWhen() __attribute__ ((callable_when())); // expected-error {{'callable_when' attribute takes at least 1 argument}}
|
|
|
23 };
|
|
|
24
|
|
|
25 int var0 SET_TYPESTATE(consumed); // expected-warning {{'set_typestate' attribute only applies to functions}}
|
|
|
26 int var1 TEST_TYPESTATE(consumed); // expected-warning {{'test_typestate' attribute only applies to}}
|
|
|
27 int var2 CALLABLE_WHEN("consumed"); // expected-warning {{'callable_when' attribute only applies to}}
|
|
|
28 int var3 CONSUMABLE(consumed); // expected-warning {{'consumable' attribute only applies to classes}}
|
|
|
29 int var4 RETURN_TYPESTATE(consumed); // expected-warning {{'return_typestate' attribute only applies to functions}}
|
|
|
30
|
|
|
31 void function0() SET_TYPESTATE(consumed); // expected-warning {{'set_typestate' attribute only applies to}}
|
|
|
32 void function1() TEST_TYPESTATE(consumed); // expected-warning {{'test_typestate' attribute only applies to}}
|
|
|
33 void function2() CALLABLE_WHEN("consumed"); // expected-warning {{'callable_when' attribute only applies to}}
|
|
|
34 void function3() CONSUMABLE(consumed); // expected-warning {{'consumable' attribute only applies to classes}}
|
|
|
35
|
|
|
36 class CONSUMABLE(unknown) AttrTester1 {
|
|
|
37 void callableWhen0() CALLABLE_WHEN("unconsumed");
|
|
|
38 void callableWhen1() CALLABLE_WHEN(42); // expected-error {{'callable_when' attribute requires a string}}
|
|
|
39 void callableWhen2() CALLABLE_WHEN("foo"); // expected-warning {{'callable_when' attribute argument not supported: foo}}
|
|
|
40 void callableWhen3() CALLABLE_WHEN(unconsumed);
|
|
|
41 void consumes() SET_TYPESTATE(consumed);
|
|
|
42 bool testUnconsumed() TEST_TYPESTATE(consumed);
|
|
|
43 };
|
|
|
44
|
|
|
45 AttrTester1 returnTypestateTester0() RETURN_TYPESTATE(not_a_state); // expected-warning {{'return_typestate' attribute argument not supported: 'not_a_state'}}
|
|
|
46 AttrTester1 returnTypestateTester1() RETURN_TYPESTATE(42); // expected-error {{'return_typestate' attribute requires an identifier}}
|
|
|
47
|
|
|
48 void returnTypestateTester2(AttrTester1 &Param RETURN_TYPESTATE(unconsumed));
|
|
|
49
|
|
|
50 class AttrTester2 {
|
|
|
51 void callableWhen() CALLABLE_WHEN("unconsumed"); // expected-warning {{consumed analysis attribute is attached to member of class 'AttrTester2' which isn't marked as consumable}}
|
|
|
52 void consumes() SET_TYPESTATE(consumed); // expected-warning {{consumed analysis attribute is attached to member of class 'AttrTester2' which isn't marked as consumable}}
|
|
|
53 bool testUnconsumed() TEST_TYPESTATE(consumed); // expected-warning {{consumed analysis attribute is attached to member of class 'AttrTester2' which isn't marked as consumable}}
|
|
|
54 };
|
|
|
55
|
|
|
56 class CONSUMABLE(42) AttrTester3; // expected-error {{'consumable' attribute requires an identifier}}
|
|
|
57
|
|
|
58
|
|
|
59 class CONSUMABLE(unconsumed)
|
|
|
60 __attribute__((consumable_auto_cast_state))
|
|
|
61 __attribute__((consumable_set_state_on_read))
|
|
|
62 Status {
|
|
|
63 };
|
|
|
64
|
|
|
65
|
|
|
66
|
