1 #define MOZ_STATIC_LOCAL_CLASS __attribute__((annotate("moz_static_local_class")))
4 struct MOZ_STATIC_LOCAL_CLASS StaticLocal
{
6 void *operator new(size_t x
) throw() { return 0; }
7 void *operator new(size_t blah
, char *buffer
) { return buffer
; }
11 struct MOZ_STATIC_LOCAL_CLASS TemplateClass
{
15 void gobble(void *) { }
17 void misuseStaticLocalClass(int len
) {
18 StaticLocal notValid
; // expected-error {{variable of type 'StaticLocal' is only valid as a static local}} expected-note {{value incorrectly allocated in an automatic variable}}
19 StaticLocal alsoNotValid
[2]; // expected-error-re {{variable of type 'StaticLocal{{ ?}}[2]' is only valid as a static local}} expected-note-re {{'StaticLocal{{ ?}}[2]' is a static-local type because it is an array of static-local type 'StaticLocal'}} expected-note {{value incorrectly allocated in an automatic variable}}
20 static StaticLocal valid
;
21 static StaticLocal alsoValid
[2];
25 gobble(&alsoValid
[0]);
27 gobble(new StaticLocal
); // expected-error {{variable of type 'StaticLocal' is only valid as a static local}} expected-note {{value incorrectly allocated on the heap}}
28 gobble(new StaticLocal
[10]); // expected-error {{variable of type 'StaticLocal' is only valid as a static local}} expected-note {{value incorrectly allocated on the heap}}
29 gobble(new TemplateClass
<int>); // expected-error {{variable of type 'TemplateClass<int>' is only valid as a static local}} expected-note {{value incorrectly allocated on the heap}}
30 gobble(len
<= 5 ? &valid
: new StaticLocal
); // expected-error {{variable of type 'StaticLocal' is only valid as a static local}} expected-note {{value incorrectly allocated on the heap}}
32 char buffer
[sizeof(StaticLocal
)];
33 gobble(new (buffer
) StaticLocal
);
36 StaticLocal notValid
; // expected-error {{variable of type 'StaticLocal' is only valid as a static local}} expected-note {{value incorrectly allocated in a global variable}}
39 StaticLocal nonstaticMember
; // expected-note {{'RandomClass' is a static-local type because member 'nonstaticMember' is a static-local type 'StaticLocal'}}
40 static StaticLocal staticMember
; // expected-error {{variable of type 'StaticLocal' is only valid as a static local}} expected-note {{value incorrectly allocated in a global variable}}
43 struct MOZ_STATIC_LOCAL_CLASS RandomStaticLocalClass
{
44 StaticLocal nonstaticMember
;
45 static StaticLocal staticMember
; // expected-error {{variable of type 'StaticLocal' is only valid as a static local}} expected-note {{value incorrectly allocated in a global variable}}
48 struct BadInherit
: StaticLocal
{}; // expected-note {{'BadInherit' is a static-local type because it inherits from a static-local type 'StaticLocal'}}
49 struct MOZ_STATIC_LOCAL_CLASS GoodInherit
: StaticLocal
{};
51 void misuseStaticLocalClassEvenMore(int len
) {
52 BadInherit moreInvalid
; // expected-error {{variable of type 'BadInherit' is only valid as a static local}} expected-note {{value incorrectly allocated in an automatic variable}}
53 RandomClass evenMoreInvalid
; // expected-error {{variable of type 'RandomClass' is only valid as a static local}} expected-note {{value incorrectly allocated in an automatic variable}}