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 methods}} 26 int var1 TEST_TYPESTATE(consumed); // expected-warning {{'test_typestate' attribute only applies to methods}} 27 int var2 CALLABLE_WHEN("consumed"); // expected-warning {{'callable_when' attribute only applies to methods}} 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 methods}} 32 void function1() TEST_TYPESTATE(consumed); // expected-warning {{'test_typestate' attribute only applies to methods}} 33 void function2() CALLABLE_WHEN("consumed"); // expected-warning {{'callable_when' attribute only applies to methods}} 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 consumes() SET_TYPESTATE(consumed); 41 bool testUnconsumed() TEST_TYPESTATE(consumed); 42 }; 43 44 AttrTester1 returnTypestateTester0() RETURN_TYPESTATE(not_a_state); // expected-warning {{'return_typestate' attribute argument not supported: 'not_a_state'}} 45 AttrTester1 returnTypestateTester1() RETURN_TYPESTATE(42); // expected-error {{'return_typestate' attribute requires an identifier}} 46 47 void returnTypestateTester2(AttrTester1 &Param RETURN_TYPESTATE(unconsumed)); 48 49 class AttrTester2 { 50 void callableWhen() CALLABLE_WHEN("unconsumed"); // expected-warning {{consumed analysis attribute is attached to member of class 'AttrTester2' which isn't marked as consumable}} 51 void consumes() SET_TYPESTATE(consumed); // expected-warning {{consumed analysis attribute is attached to member of class 'AttrTester2' which isn't marked as consumable}} 52 bool testUnconsumed() TEST_TYPESTATE(consumed); // expected-warning {{consumed analysis attribute is attached to member of class 'AttrTester2' which isn't marked as consumable}} 53 }; 54 55 class CONSUMABLE(42) AttrTester3; // expected-error {{'consumable' attribute requires an identifier}} 56 57 58 class CONSUMABLE(unconsumed) 59 __attribute__((consumable_auto_cast_state)) 60 __attribute__((consumable_set_state_on_read)) 61 Status { 62 }; 63 64 65 66
