Home | History | Annotate | Download | only in SemaCXX 
      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 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 
     67