// RUN: %clang_cc1 -fsyntax-only -verify %s

struct A {
  unsigned bitX : 4;
  unsigned bitY : 4;
  unsigned var;

  void foo();
};

void test(A *a) {
  int x;
  x = sizeof(a->bitX); // expected-error {{invalid application of 'sizeof' to bit-field}}
  x = sizeof((unsigned) a->bitX);
  x = sizeof(a->foo(), a->bitX); // expected-error {{invalid application of 'sizeof' to bit-field}}
  x = sizeof(a->var ? a->bitX : a->bitY); // expected-error {{invalid application of 'sizeof' to bit-field}}
  x = sizeof(a->var ? a->bitX : a->bitX); // expected-error {{invalid application of 'sizeof' to bit-field}}
  x = sizeof(a->bitX = 3); // expected-error {{invalid application of 'sizeof' to bit-field}}
  x = sizeof(a->bitY += 3); // expected-error {{invalid application of 'sizeof' to bit-field}}
}

void test2() {
  int x;
  x = sizeof(void); // expected-error {{invalid application of 'sizeof' to an incomplete type 'void'}}
  x = sizeof(int()); // expected-error {{invalid application of 'sizeof' to a function type}}
  x = sizeof(test2()); // expected-error {{invalid application of 'sizeof' to an incomplete type 'void'}}
  x = sizeof(test2); // expected-error {{invalid application of 'sizeof' to a function type}}
}

namespace pr16992 {

template<typename T> struct ABC {
  int func () {
    return sizeof T;  // expected-error {{expected parentheses around type name in sizeof expression}}
  }
};

ABC<int> qq;

template<typename T> struct ABC2 {
  int func () {
    return sizeof T::A;
  }
};

struct QQ { int A; };
ABC2<QQ> qq2;
}