clang/test/Misc/diag-aka-types.cpp

   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
  66 using C = decltype(1+2);;
  67 C a6[10];
  68 extern C a8[];
  69 int a9 = a6; // expected-error{{cannot initialize a variable of type 'int' with an lvalue of type 'C[10]' (aka 'int[10]')}}
  70 int a10 = a8; // expected-error{{cannot initialize a variable of type 'int' with an lvalue of type 'C[]' (aka 'int[]')}}