1// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s
2
3// PR5290
4int const f0();
5void f0_test() {
6  decltype(0, f0()) i = 0;
7  i = 0;
8}
9
10struct A { int a[1]; A() { } };
11typedef A const AC;
12int &f1(int*);
13float &f2(int const*);
14
15void test_f2() {
16  float &fr = f2(AC().a);
17}
18
19template <class T>
20struct Future {
21  explicit Future(T v);
22
23  template <class F>
24  auto call(F&& fn) -> decltype(fn(T())) {
25    return fn(T());
26  }
27
28  template <class B, class F>
29  auto then(F&& fn) -> decltype(call(fn))
30  {
31    return fn(T());
32  }
33};
34
35void rdar16527205() {
36  Future<int> f1(42);
37  f1.call([](int){ return Future<float>(0); });
38}
39
40namespace pr10154 {
41  class A{
42      A(decltype(nullptr) param);
43  };
44}
45
46template<typename T> struct S {};
47template<typename T> auto f(T t) -> decltype(S<int>(t)) {
48  using U = decltype(S<int>(t));
49  using U = S<int>;
50  return S<int>(t);
51}
52
53struct B {
54  B(decltype(undeclared)); // expected-error {{undeclared identifier}}
55};
56struct C {
57  C(decltype(undeclared; // expected-error {{undeclared identifier}} \
58                         // expected-error {{expected ')'}} expected-note {{to match this '('}}
59};
60
61namespace PR16529 {
62  struct U {};
63  template <typename T> struct S {
64    static decltype(T{}, U{}) &f();
65  };
66  U &r = S<int>::f();
67}
68
69namespace PR18876 {
70  struct A { ~A() = delete; }; // expected-note +{{here}}
71  A f();
72  decltype(f()) *a; // ok, function call
73  decltype(A()) *b; // expected-error {{attempt to use a deleted function}}
74  decltype(0, f()) *c; // ok, function call on RHS of comma
75  decltype(0, A()) *d; // expected-error {{attempt to use a deleted function}}
76  decltype(f(), 0) *e; // expected-error {{attempt to use a deleted function}}
77}
78
79template<typename>
80class conditional {
81};
82
83void foo(conditional<decltype((1),int>) {  // expected-note 2 {{to match this '('}} expected-error {{expected ')'}}
84} // expected-error {{expected function body after function declarator}} expected-error 2 {{expected '>'}} expected-error {{expected ')'}}
85