Lines Matching refs:consumed

14 int returnTypestateForUnconsumable() RETURN_TYPESTATE(consumed); // expected-warning {{return state…
25 int var0 SET_TYPESTATE(consumed); // expected-warning {{'set_typestate' attribute only applies to m…
26 int var1 TEST_TYPESTATE(consumed); // expected-warning {{'test_typestate' 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 applie…
31 void function0() SET_TYPESTATE(consumed); // expected-warning {{'set_typestate' attribute only appl…
32 void function1() TEST_TYPESTATE(consumed); // expected-warning {{'test_typestate' attribute only ap…
34 void function3() CONSUMABLE(consumed); // expected-warning {{'consumable' attribute only applies to…
41   void consumes()       SET_TYPESTATE(consumed);  in CONSUMABLE()
42   bool testUnconsumed() TEST_TYPESTATE(consumed);  in CONSUMABLE()
52 …void consumes()       SET_TYPESTATE(consumed); // expected-warning {{consumed analysis attribute i…
53 …bool testUnconsumed() TEST_TYPESTATE(consumed); // expected-warning {{consumed analysis attribute …