|
1 #define MOZ_STACK_CLASS __attribute__((annotate("moz_stack_class"))) |
|
2 #include <stddef.h> |
|
3 |
|
4 struct MOZ_STACK_CLASS Stack { |
|
5 int i; |
|
6 void *operator new(size_t x) { return 0; } |
|
7 void *operator new(size_t blah, char *buffer) { return buffer; } |
|
8 }; |
|
9 |
|
10 template <class T> |
|
11 struct MOZ_STACK_CLASS TemplateClass { |
|
12 T i; |
|
13 }; |
|
14 |
|
15 void gobble(void *) { } |
|
16 |
|
17 void misuseStackClass(int len) { |
|
18 Stack valid; |
|
19 Stack alsoValid[2]; |
|
20 static Stack notValid; // expected-error {{variable of type 'Stack' only valid on the stack}} |
|
21 static Stack alsoNotValid[2]; // expected-error {{variable of type 'Stack [2]' only valid on the stack}} |
|
22 |
|
23 gobble(&valid); |
|
24 gobble(¬Valid); |
|
25 gobble(&alsoValid[0]); |
|
26 |
|
27 gobble(new Stack); // expected-error {{variable of type 'Stack' only valid on the stack}} |
|
28 gobble(new Stack[10]); // expected-error {{variable of type 'Stack' only valid on the stack}} |
|
29 gobble(new TemplateClass<int>); // expected-error {{variable of type 'TemplateClass<int>' only valid on the stack}} |
|
30 gobble(len <= 5 ? &valid : new Stack); // expected-error {{variable of type 'Stack' only valid on the stack}} |
|
31 |
|
32 char buffer[sizeof(Stack)]; |
|
33 gobble(new (buffer) Stack); |
|
34 } |
|
35 |
|
36 Stack notValid; // expected-error {{variable of type 'Stack' only valid on the stack}} |
|
37 struct RandomClass { |
|
38 Stack nonstaticMember; // expected-note {{'RandomClass' is a stack class because member 'nonstaticMember' is a stack class 'Stack'}} |
|
39 static Stack staticMember; // expected-error {{variable of type 'Stack' only valid on the stack}} |
|
40 }; |
|
41 struct MOZ_STACK_CLASS RandomStackClass { |
|
42 Stack nonstaticMember; |
|
43 static Stack staticMember; // expected-error {{variable of type 'Stack' only valid on the stack}} |
|
44 }; |
|
45 |
|
46 struct BadInherit : Stack {}; // expected-note {{'BadInherit' is a stack class because it inherits from a stack class 'Stack'}} |
|
47 struct MOZ_STACK_CLASS GoodInherit : Stack {}; |
|
48 |
|
49 BadInherit moreInvalid; // expected-error {{variable of type 'BadInherit' only valid on the stack}} |
|
50 RandomClass evenMoreInvalid; // expected-error {{variable of type 'RandomClass' only valid on the stack}} |