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