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