1 // RUN: %clang_cc1 -fsyntax-only -pedantic -verify %s 2 3 void f() { 4 typedef int T; 5 int x, *px; 6 7 // Type id. 8 (T())x; // expected-error {{cast from 'int' to 'T ()'}} 9 (T())+x; // expected-error {{cast from 'int' to 'T ()'}} 10 (T())*px; // expected-error {{cast from 'int' to 'T ()'}} 11 12 // Expression. 13 x = (T()); 14 x = (T())/x; 15 16 typedef int *PT; 17 // Make sure stuff inside the parens are parsed only once (only one warning). 18 x = (PT()[(int){1}]); // expected-warning {{compound literals}} 19 20 // Special case: empty parens is a call, not an expression 21 struct S{int operator()();}; 22 (S())(); 23 24 // Special case: "++" is postfix here, not prefix 25 (S())++; // expected-error {{cannot increment value of type 'S'}} 26 27 struct X { int &operator++(int); X operator[](int); int &operator++(); }; 28 int &postfix_incr = (X()[3])++; 29 (X())++ ++; // ok, not a C-style cast 30 (X())++ ++X(); // expected-error {{C-style cast from 'int' to 'X ()'}} 31 int q = (int)++(x); 32 } 33 34 // Make sure we do tentative parsing correctly in conditions. 35 typedef int type; 36 struct rec { rec(int); }; 37 38 namespace ns { 39 typedef int type; 40 struct rec { rec(int); }; 41 } 42 43 struct cls { 44 typedef int type; 45 struct rec { rec(int); }; 46 }; 47 48 struct result { 49 template <class T> result(T); 50 bool check(); 51 }; 52 53 void test(int i) { 54 if (result((cls::type) i).check()) 55 return; 56 57 if (result((ns::type) i).check()) 58 return; 59 60 if (result((::type) i).check()) 61 return; 62 63 if (result((cls::rec) i).check()) 64 return; 65 66 if (result((ns::rec) i).check()) 67 return; 68 69 if (result((::rec) i).check()) 70 return; 71 } 72 73
