// RUN: %clang_cc1 -ast-dump %s 2>&1 | FileCheck %s

// CHECK-LABEL: example0
void example0() {
  double d = 2.0;
  // CHECK: VarDecl{{.*}}rd 'double &'
  // CHECK-NEXT: DeclRefExpr
  double &rd = d;
  // CHECK: VarDecl{{.*}}rcd 'const double &'
  // CHECK-NEXT: ImplicitCastExpr{{.*}}'const double' lvalue <NoOp>
  const double &rcd = d;
}

struct A { };
struct B : A { } b;

// CHECK-LABEL: example1
void example1() {
  // CHECK: VarDecl{{.*}}ra 'A &'
  // CHECK: ImplicitCastExpr{{.*}}'A' lvalue <DerivedToBase (A)>
  A &ra = b;
  // CHECK: VarDecl{{.*}}rca 'const A &'
  // CHECK: ImplicitCastExpr{{.*}}'const A' lvalue <DerivedToBase (A)>
  // CHECK-NOT: MaterializeTemporaryExpr
  // CHECK: ImplicitCastExpr{{.*}}'const B' lvalue <NoOp>
  const A& rca = b;
}

extern B f();

struct X {
  operator B();
} x;

// CHECK-LABEL: example2
void example2() {
  // CHECK: VarDecl{{.*}}rca 'const A &'
  // CHECK: ImplicitCastExpr{{.*}}'const A' lvalue <DerivedToBase (A)>
  // CHECK: MaterializeTemporaryExpr{{.*}}'const B'
  // CHECK: ImplicitCastExpr{{.*}}'const B' <NoOp>
  // CHECK: CallExpr{{.*}}B
  const A &rca = f();
  // CHECK: VarDecl{{.*}}r 'const A &'
  // CHECK: ImplicitCastExpr{{.*}}'const A' lvalue <DerivedToBase (A)>
  // CHECK: MaterializeTemporaryExpr{{.*}}'const B'
  // CHECK: ImplicitCastExpr{{.*}}'const B' <NoOp>
  // CHECK: CXXMemberCallExpr{{.*}}'B'
  const A& r = x;
}

// CHECK-LABEL: example3
void example3() {
  // CHECK: VarDecl{{.*}}rcd2 'const double &'
  // CHECK: ImplicitCastExpr{{.*}} <IntegralToFloating>
  const double& rcd2 = 2;
}