clang/test/SemaCXX/flexible-array-test.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2 // pr7029
   3
   4 template <class Key, class T> struct QMap
   5 {
   6   void insert(const Key &, const T &);
   7   T v;
   8 };
   9
  10
  11 template <class Key, class T>
  12 void QMap<Key, T>::insert(const Key &, const T &avalue)
  13 {
  14   v = avalue;
  15 }
  16
  17 struct Rec {
  18   union { // expected-warning-re {{variable sized type '{{.*}}' not at the end of a struct or class is a GNU extension}}
  19     int u0[];
  20   };
  21   int x;
  22 } rec;
  23
  24 struct inotify_event
  25 {
  26   int wd;
  27
  28   // clang doesn't like '[]':
  29   // cannot initialize a parameter of type 'void *' with an rvalue of type 'char (*)[]'
  30   char name [];
  31 };
  32
  33
  34 void foo()
  35 {
  36     inotify_event event;
  37     inotify_event* ptr = &event;
  38     inotify_event event1 = *ptr;
  39     *ptr = event;
  40     QMap<int, inotify_event> eventForId;
  41     eventForId.insert(ptr->wd, *ptr);
  42 }
  43
  44 struct S {
  45   virtual void foo();
  46 };
  47
  48 struct X {
  49    int blah;
  50    S strings[];
  51 };
  52
  53 S a, b = a;
  54 S f(X &x) {
  55   a = b;
  56   return x.strings[0];
  57 }
  58
  59 class A {
  60   int s;
  61   char c[];
  62 };
  63
  64 union B {
  65   int s;
  66   char c[];
  67 };
  68
  69 class C {
  70   char c[]; // expected-error {{flexible array member 'c' with type 'char[]' is not at the end of class}}
  71   int s; // expected-note {{next field declaration is here}}
  72 };
  73
  74 namespace rdar9065507 {
  75
  76 struct StorageBase {
  77   long ref_count;
  78   unsigned size;
  79   unsigned capacity;
  80 };
  81
  82 struct Storage : StorageBase {
  83   int data[];
  84 };
  85
  86 struct VirtStorage : virtual StorageBase {
  87   int data[]; // expected-error {{flexible array member 'data' not allowed in struct which has a virtual base class}}
  88 };
  89
  90 }
  91
  92 struct NonTrivDtor { ~NonTrivDtor(); };
  93 // FIXME: It's not clear whether we should disallow examples like this. GCC accepts.
  94 struct FlexNonTrivDtor {
  95   int n;
  96   NonTrivDtor ntd[]; // expected-error {{flexible array member 'ntd' of type 'NonTrivDtor[]' with non-trivial destruction}}
  97   ~FlexNonTrivDtor() {
  98     for (int i = n; i != 0; --i)
  99       ntd[i-1].~NonTrivDtor();
 100   }
 101 };