1 // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s 2 // expected-no-diagnostics 3 4 template<typename T> 5 struct classify_function { 6 static const unsigned value = 0; 7 }; 8 9 template<typename R, typename ...Args> 10 struct classify_function<R(Args...)> { 11 static const unsigned value = 1; 12 }; 13 14 template<typename R, typename ...Args> 15 struct classify_function<R(Args...) const> { 16 static const unsigned value = 2; 17 }; 18 19 template<typename R, typename ...Args> 20 struct classify_function<R(Args...) volatile> { 21 static const unsigned value = 3; 22 }; 23 24 template<typename R, typename ...Args> 25 struct classify_function<R(Args...) const volatile> { 26 static const unsigned value = 4; 27 }; 28 29 template<typename R, typename ...Args> 30 struct classify_function<R(Args......)> { 31 static const unsigned value = 5; 32 }; 33 34 template<typename R, typename ...Args> 35 struct classify_function<R(Args......) const> { 36 static const unsigned value = 6; 37 }; 38 39 template<typename R, typename ...Args> 40 struct classify_function<R(Args......) volatile> { 41 static const unsigned value = 7; 42 }; 43 44 template<typename R, typename ...Args> 45 struct classify_function<R(Args......) const volatile> { 46 static const unsigned value = 8; 47 }; 48 49 template<typename R, typename ...Args> 50 struct classify_function<R(Args......) &&> { 51 static const unsigned value = 9; 52 }; 53 54 template<typename R, typename ...Args> 55 struct classify_function<R(Args......) const &> { 56 static const unsigned value = 10; 57 }; 58 59 typedef void f0(int) const; 60 typedef void f1(int, float...) const volatile; 61 typedef void f2(int, double, ...) &&; 62 typedef void f3(int, double, ...) const &; 63 64 int check0[classify_function<f0>::value == 2? 1 : -1]; 65 int check1[classify_function<f1>::value == 8? 1 : -1]; 66 int check2[classify_function<f2>::value == 9? 1 : -1]; 67 int check3[classify_function<f3>::value == 10? 1 : -1]; 68