From c99fa0b80cc96424e2dd62f36af99934940f9a16 Mon Sep 17 00:00:00 2001
From: Richard Smith <richard@metafoo.co.uk>
Date: Tue, 4 Feb 2020 11:43:15 -0800
Subject: [PATCH] Additional testcase for 0130b6cb5a8.

---
 clang/test/CodeGenCXX/dereferenceable.cpp | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 clang/test/CodeGenCXX/dereferenceable.cpp

diff --git a/clang/test/CodeGenCXX/dereferenceable.cpp b/clang/test/CodeGenCXX/dereferenceable.cpp
new file mode 100644
index 000000000000..df8e6acab2db
--- /dev/null
+++ b/clang/test/CodeGenCXX/dereferenceable.cpp
@@ -0,0 +1,15 @@
+// RUN: %clang_cc1 %s -emit-llvm -o - -triple x86_64-linux-gnu | FileCheck %s
+
+struct A { void *p; void *q; void *r; };
+
+struct B : A {};
+static_assert(sizeof(B) == 24);
+
+// CHECK: define dereferenceable(24) {{.*}} @_Z1fR1B({{.*}} dereferenceable(24)
+B &f(B &b) { return b; }
+
+struct C : virtual A {};
+static_assert(sizeof(C) == 32);
+
+// CHECK: define dereferenceable(8) {{.*}} @_Z1fR1C({{.*}} dereferenceable(8)
+C &f(C &c) { return c; }