build/clang-plugin/tests/TestStackClass.cpp

   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) throw() { 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}} expected-note {{value incorrectly allocated in a global variable}}
  21   static Stack alsoNotValid[2]; // expected-error-re {{variable of type 'Stack{{ ?}}[2]' only valid on the stack}} expected-note-re {{'Stack{{ ?}}[2]' is a stack type because it is an array of stack type 'Stack'}} expected-note {{value incorrectly allocated in a global variable}}
  22
  23   gobble(&valid);
  24   gobble(&notValid);
  25   gobble(&alsoValid[0]);
  26
  27   gobble(new Stack); // expected-error {{variable of type 'Stack' only valid on the stack}} expected-note {{value incorrectly allocated on the heap}}
  28   gobble(new Stack[10]); // expected-error {{variable of type 'Stack' only valid on the stack}} expected-note {{value incorrectly allocated on the heap}}
  29   gobble(new TemplateClass<int>); // expected-error {{variable of type 'TemplateClass<int>' only valid on the stack}} expected-note {{value incorrectly allocated on the heap}}
  30   gobble(len <= 5 ? &valid : new Stack); // expected-error {{variable of type 'Stack' only valid on the stack}} expected-note {{value incorrectly allocated on the heap}}
  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}} expected-note {{value incorrectly allocated in a global variable}}
  37 struct RandomClass {
  38   Stack nonstaticMember; // expected-note {{'RandomClass' is a stack type because member 'nonstaticMember' is a stack type 'Stack'}}
  39   static Stack staticMember; // expected-error {{variable of type 'Stack' only valid on the stack}} expected-note {{value incorrectly allocated in a global variable}}
  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}} expected-note {{value incorrectly allocated in a global variable}}
  44 };
  45
  46 struct BadInherit : Stack {}; // expected-note {{'BadInherit' is a stack type because it inherits from a stack type 'Stack'}}
  47 struct MOZ_STACK_CLASS GoodInherit : Stack {};
  48
  49 BadInherit moreInvalid; // expected-error {{variable of type 'BadInherit' only valid on the stack}} expected-note {{value incorrectly allocated in a global variable}}
  50 RandomClass evenMoreInvalid; // expected-error {{variable of type 'RandomClass' only valid on the stack}} expected-note {{value incorrectly allocated in a global variable}}