1// RUN: %clang_cc1 -fsyntax-only -pedantic -verify %s 2 3void 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 // FIXME: Special case: "++" is postfix here, not prefix 25 // (S())++; 26} 27 28// Make sure we do tentative parsing correctly in conditions. 29typedef int type; 30struct rec { rec(int); }; 31 32namespace ns { 33 typedef int type; 34 struct rec { rec(int); }; 35} 36 37struct cls { 38 typedef int type; 39 struct rec { rec(int); }; 40}; 41 42struct result { 43 template <class T> result(T); 44 bool check(); 45}; 46 47void test(int i) { 48 if (result((cls::type) i).check()) 49 return; 50 51 if (result((ns::type) i).check()) 52 return; 53 54 if (result((::type) i).check()) 55 return; 56 57 if (result((cls::rec) i).check()) 58 return; 59 60 if (result((ns::rec) i).check()) 61 return; 62 63 if (result((::rec) i).check()) 64 return; 65} 66 67