1*67e74705SXin Li // RUN: %clang_cc1 %s -triple %itanium_abi_triple -emit-llvm -o - | FileCheck %s 2*67e74705SXin Li 3*67e74705SXin Li struct A { int i; }; 4*67e74705SXin Li struct B { char j; }; 5*67e74705SXin Li struct C : A, B { int k; }; 6*67e74705SXin Li 7*67e74705SXin Li struct D final : virtual C { 8*67e74705SXin Li D(); 9*67e74705SXin Li virtual void f(); 10*67e74705SXin Li }; 11*67e74705SXin Li 12*67e74705SXin Li // CHECK-LABEL: define {{.*}}dereferenceable({{[0-9]+}}) %struct.B* @_Z1fR1D f(D & d)13*67e74705SXin LiB &f(D &d) { 14*67e74705SXin Li // CHECK-NOT: load i8*, i8** 15*67e74705SXin Li return d; 16*67e74705SXin Li } 17