| 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 | |
|---|