1 // RUN: %clang_cc1 %s -fsyntax-only -verify -std=c++11 2 3 struct X {}; 4 typedef X foo_t; 5 6 foo_t *ptr; 7 char c1 = ptr; // expected-error{{'foo_t *' (aka 'X *')}} 8 9 const foo_t &ref = foo_t(); 10 char c2 = ref; // expected-error{{'const foo_t' (aka 'const X')}} 11 12 // deduced auto should not produce an aka. 13 auto aut = X(); 14 char c3 = aut; // expected-error{{from 'X' to 'char'}} 15 16 // There are two classes named Foo::foo here. Make sure the message gives 17 // a way to them apart. 18 namespace Foo { 19 class foo {}; 20 } 21 22 namespace bar { 23 namespace Foo { 24 class foo; 25 } 26 void f(Foo::foo* x); // expected-note{{passing argument to parameter 'x' here}} 27 } 28 29 void test(Foo::foo* x) { 30 bar::f(x); // expected-error{{cannot initialize a parameter of type 'Foo::foo *' (aka 'bar::Foo::foo *') with an lvalue of type 'Foo::foo *'}} 31 } 32 33 namespace ns { 34 struct str { 35 static void method(struct data *) {} 36 }; 37 } 38 39 struct data { int i; }; 40 41 typedef void (*callback)(struct data *); 42 43 void helper(callback cb) {} // expected-note{{candidate function not viable: no known conversion from 'void (*)(struct data *)' (aka 'void (*)(ns::data *)') to 'callback' (aka 'void (*)(struct data *)') for 1st argument}} 44 45 void test() { 46 helper(&ns::str::method); // expected-error{{no matching function for call to 'helper'}} 47 } 48 49 template <typename T> 50 class A {}; 51 52 int a1 = A<decltype(1 + 2)>(); // expected-error{{no viable conversion from 'A<decltype(1 + 2)>' (aka 'A<int>') to 'int'}} 53 int a2 = A<A<decltype(1 + 2)>>(); // expected-error{{no viable conversion from 'A<A<decltype(1 + 2)> >' (aka 'A<A<int> >') to 'int'}} 54 int a3 = A<__typeof(1 + 2)>(); // expected-error{{no viable conversion from 'A<typeof (1 + 2)>' (aka 'A<int>') to 'int'}} 55 int a4 = A<A<__typeof(1 + 2)>>(); // expected-error{{no viable conversion from 'A<A<typeof (1 + 2)> >' (aka 'A<A<int> >') to 'int'}} 56 57 using B = A<decltype(1+2)>; 58 int a5 = B(); // expected-error{{no viable conversion from 'B' (aka 'A<int>') to 'int'}} 59 60 decltype(void()) (&f1)() = 0; // expected-error{{non-const lvalue reference to type 'decltype(void()) ()' (aka 'void ()') cannot bind to a temporary of type 'int'}} 61 decltype(void()) (&f2)(int) = 0; // expected-error{{non-const lvalue reference to type 'decltype(void()) (int)' (aka 'void (int)') cannot bind to a temporary of type 'int'}} 62 void (&f3)(decltype(1 + 2)) = 0; // expected-error{{non-const lvalue reference to type 'void (decltype(1 + 2))' (aka 'void (int)') cannot bind to a temporary of type 'int'}} 63 decltype(1+2) (&f4)(double, decltype(1 + 2)) = 0; // expected-error{{non-const lvalue reference to type 'decltype(1 + 2) (double, decltype(1 + 2))' (aka 'int (double, int)') cannot bind to a temporary of type 'int'}} 64 auto (&f5)() -> decltype(1+2) = 0; // expected-error{{non-const lvalue reference to type 'auto () -> decltype(1 + 2)' (aka 'auto () -> int') cannot bind to a temporary of type 'int'}} 65
