tor-browser

The Tor Browser
git clone https://git.dasho.dev/tor-browser.git
Log | Files | Refs | README | LICENSE

TestStaticLocalClass.cpp (3301B)

      1 #define MOZ_STATIC_LOCAL_CLASS __attribute__((annotate("moz_static_local_class")))
      2 #include <stddef.h>
      3 
      4 struct MOZ_STATIC_LOCAL_CLASS StaticLocal {
      5  int i;
      6  void *operator new(size_t x) throw() { return 0; }
      7  void *operator new(size_t blah, char *buffer) { return buffer; }
      8 };
      9 
     10 template <class T>
     11 struct MOZ_STATIC_LOCAL_CLASS TemplateClass {
     12  T i;
     13 };
     14 
     15 void gobble(void *) { }
     16 
     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];
     22 
     23  gobble(&notValid);
     24  gobble(&valid);
     25  gobble(&alsoValid[0]);
     26 
     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}}
     31 
     32  char buffer[sizeof(StaticLocal)];
     33  gobble(new (buffer) StaticLocal);
     34 }
     35 
     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}}
     37 
     38 struct RandomClass {
     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}}
     41 };
     42 
     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}}
     46 };
     47 
     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 {};
     50 
     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}}
     54 }