clang/test/CXX/expr/expr.unary/expr.sizeof/p1.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2
   3 struct A {
   4   unsigned bitX : 4;
   5   unsigned bitY : 4;
   6   unsigned var;
   7
   8   void foo();
   9 };
  10
  11 void test(A *a) {
  12   int x;
  13   x = sizeof(a->bitX); // expected-error {{invalid application of 'sizeof' to bit-field}}
  14   x = sizeof((unsigned) a->bitX);
  15   x = sizeof(a->foo(), a->bitX); // expected-error {{invalid application of 'sizeof' to bit-field}}
  16   x = sizeof(a->var ? a->bitX : a->bitY); // expected-error {{invalid application of 'sizeof' to bit-field}}
  17   x = sizeof(a->var ? a->bitX : a->bitX); // expected-error {{invalid application of 'sizeof' to bit-field}}
  18   x = sizeof(a->bitX = 3); // expected-error {{invalid application of 'sizeof' to bit-field}}
  19   x = sizeof(a->bitY += 3); // expected-error {{invalid application of 'sizeof' to bit-field}}
  20 }
  21
  22 void test2() {
  23   int x;
  24   x = sizeof(void); // expected-error {{invalid application of 'sizeof' to an incomplete type 'void'}}
  25   x = sizeof(int()); // expected-error {{invalid application of 'sizeof' to a function type}}
  26   x = sizeof(test2()); // expected-error {{invalid application of 'sizeof' to an incomplete type 'void'}}
  27   x = sizeof(test2); // expected-error {{invalid application of 'sizeof' to a function type}}
  28 }
  29
  30 namespace pr16992 {
  31
  32 template<typename T> struct ABC {
  33   int func () {
  34     return sizeof T;  // expected-error {{expected parentheses around type name in sizeof expression}}
  35   }
  36 };
  37
  38 ABC<int> qq;
  39
  40 template<typename T> struct ABC2 {
  41   int func () {
  42     return sizeof T::A;
  43   }
  44 };
  45
  46 struct QQ { int A; };
  47 ABC2<QQ> qq2;
  48 }