p1.cpp revision 2a0a49612ec8866fe2e75b1e0aab04326861b5f2 
1// RUN: %clang_cc1 -fsyntax-only -verify %s
2
3struct A {
4  unsigned bitX : 4;
5  unsigned bitY : 4;
6  unsigned var;
7
8  void foo();
9};
10
11void 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
22void 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
30namespace pr16992 {
31
32template<typename T> struct ABC {
33  int func () {
34    return sizeof T;  //expected-error{{missed parenthesis around the type name in sizeof}}
35  }
36};
37
38ABC<int> qq;
39
40template<typename T> struct ABC2 {
41  int func () {
42    return sizeof T::A;
43  }
44};
45
46struct QQ { int A; };
47ABC2<QQ> qq2;
48}
49