6 #define CONSUMABLE(state)       __attribute__ ((consumable(state)))  argument
7 #define PARAM_TYPESTATE(state)  __attribute__ ((param_typestate(state)))  argument
8 #define RETURN_TYPESTATE(state) __attribute__ ((return_typestate(state)))  argument
9 #define SET_TYPESTATE(state)    __attribute__ ((set_typestate(state)))  argument
10 #define TEST_TYPESTATE(state)   __attribute__ ((test_typestate(state)))  argument
78 …return ConsumableClass<int>(); // expected-warning {{return value not in expected state; expected …
95 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
96 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
99 …g {{invalid invocation of method 'operator*' on object 'var4' while it is in the 'consumed' state}}
105 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
112 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
121 …ing {{invalid invocation of method 'operator*' on object 'D2' while it is in the 'consumed' state}}
123 …lid invocation of method '~DestructorTester' on object 'D0' while it is in the 'unconsumed' state}}
125 …d invocation of method '~DestructorTester' on object 'D0' while it is in the 'unconsumed' state}} \
126 …lid invocation of method '~DestructorTester' on object 'D1' while it is in the 'unconsumed' state}}
138 …ocation of method '~DestructorTester' on a temporary object while it is in the 'unconsumed' state}}
143 …nvalid invocation of method 'operator*' on a temporary object while it is in the 'consumed' state}}
150 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
156 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
165 …ng {{invalid invocation of method 'operator*' on object 'var' while it is in the 'consumed' state}}
169 …ng {{invalid invocation of method 'operator*' on object 'var' while it is in the 'consumed' state}}
177 …ng {{invalid invocation of method 'operator*' on object 'var' while it is in the 'consumed' state}}
183 …ng {{invalid invocation of method 'operator*' on object 'var' while it is in the 'consumed' state}}
187 …ng {{invalid invocation of method 'operator*' on object 'var' while it is in the 'consumed' state}}
201 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
202 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
210 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
211 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
219 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
220 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
224 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
225 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
233 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
234 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
242 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
243 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
251 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
252 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
260 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
261 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
274 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
275 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
276 …g {{invalid invocation of method 'operator*' on object 'var2' while it is in the 'consumed' state}}
287 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
288 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
289 …g {{invalid invocation of method 'operator*' on object 'var2' while it is in the 'consumed' state}}
297   // Coerce all variables into the unknown state.
307 …ng {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'unknown' state}}
308 …ng {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'unknown' state}}
312 …ng {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'unknown' state}}
313 …ng {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'unknown' state}}
316 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
317 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
322 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
325 …ng {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'unknown' state}}
326 …ng {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'unknown' state}}
330 …ng {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'unknown' state}}
331 …ng {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'unknown' state}}
334 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
339 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
340 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
343 …ng {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'unknown' state}}
344 …ng {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'unknown' state}}
348 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
349 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
352 …ng {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'unknown' state}}
353 …ng {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'unknown' state}}
357 …ng {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'unknown' state}}
358 …ng {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'unknown' state}}
366 …ng {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'unknown' state}}
367 …ng {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'unknown' state}}
380 …ng {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'unknown' state}}
381 …ng {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'unknown' state}}
382 …ng {{invalid invocation of method 'operator*' on object 'var2' while it is in the 'unknown' state}}
388 …ng {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'unknown' state}}
389 …ng {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'unknown' state}}
390 …ng {{invalid invocation of method 'operator*' on object 'var2' while it is in the 'unknown' state}}
393 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
394 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
395 …g {{invalid invocation of method 'operator*' on object 'var2' while it is in the 'consumed' state}}
403   // Make var enter the 'unknown' state.
422 …-warning {{invocation of method 'operator*' on object 'param' while it is in the 'consumed' state}}
425 …TE(unconsumed)) { // expected-warning {{parameter 'Param' not in expected state when the function …
429 …return; // expected-warning {{parameter 'Param' not in expected state when the function returns: e…
451 …{{invalid invocation of method 'operator*' on object 'Param0' while it is in the 'consumed' state}}
452 …{{invalid invocation of method 'operator*' on object 'Param1' while it is in the 'consumed' state}}
458 …testParamTypestateCallee(Var0, Var1); // expected-warning {{argument not in expected state; expect…
476 …consumeFunc(P);                   // expected-warning {{argument not in expected state; expected '…
477 …ParamTest::consumeFuncStatic(P);  // expected-warning {{argument not in expected state; expected '…
479 …pt.consumeFuncMeth(P);            // expected-warning {{argument not in expected state; expected '…
480 …pt << P;                          // expected-warning {{argument not in expected state; expected '…
481 …pt >> P;                          // expected-warning {{argument not in expected state; expected '…
489 …ing {{invalid invocation of method 'operator*' on object 'var' while it is in the 'unknown' state}}
512 …ing {{invalid invocation of method 'operator*' on object 'var' while it is in the 'unknown' state}}
516 …ing {{invalid invocation of method 'operator*' on object 'var' while it is in the 'unknown' state}}
520 …ng {{invalid invocation of method 'operator*' on object 'var' while it is in the 'consumed' state}}
538 …g {{invalid invocation of method 'operator*' on object 'param' while it is in the 'unknown' state}}
548 …ng {{invalid invocation of method 'operator*' on object 'var' while it is in the 'consumed' state}}
565 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
571 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
575 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
585 …ng {{invalid invocation of method 'operator*' on object 'var' while it is in the 'consumed' state}}
593 …ng {{invalid invocation of method 'operator*' on object 'var' while it is in the 'consumed' state}}
603 …ng {{invalid invocation of method 'operator*' on object 'var' while it is in the 'consumed' state}}
613 …ng {{invalid invocation of method 'operator*' on object 'var' while it is in the 'consumed' state}}
622 …invalid invocation of method 'unconsumedCall' on object 'var' while it is in the 'consumed' state}}
641 …for (int i = 0; i < 10; ++i) { // expected-warning {{state of variable 'var1' must match at the en…
642 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
646 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
649 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
657 …while (i-- > 0) { // expected-warning {{state of variable 'var1' must match at the entry and exit …
658 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
662 …g {{invalid invocation of method 'operator*' on object 'var1' while it is in the 'consumed' state}}
665 …g {{invalid invocation of method 'operator*' on object 'var0' while it is in the 'consumed' state}}
668 // Tests if state information is correctly discarded for certain shapes of CFGs.
764 …nvalid invocation of method '~Status' on a temporary object while it is in the 'unconsumed' state}}
777 …ning {{invalid invocation of method '~Status' on object 's' while it is in the 'unconsumed' state}}
780 …nvalid invocation of method '~Status' on a temporary object while it is in the 'unconsumed' state}}
799 …arning {{invalid invocation of method 'clear' on object 's' while it is in the 'unconsumed' state}}
819 …ning {{invalid invocation of method '~Status' on object 's' while it is in the 'unconsumed' state}}
827 …ning {{invalid invocation of method '~Status' on object 's' while it is in the 'unconsumed' state}}
862 …ing {{invalid invocation of method '~Status' on object 's2' while it is in the 'unconsumed' state}}
874 …ing {{invalid invocation of method '~Status' on object 's2' while it is in the 'unconsumed' state}}
888 …ing {{invalid invocation of method '~Status' on object 's2' while it is in the 'unconsumed' state}}
903 …ing {{invalid invocation of method '~Status' on object 's2' while it is in the 'unconsumed' state}}
916 …g {{invalid invocation of method 'operator=' on object 's1' while it is in the 'unconsumed' state}}