16 lines · cpp
1// RUN: %clang_cc1 %s -emit-llvm -o - -triple x86_64-linux-gnu | FileCheck %s2 3struct A { void *p; void *q; void *r; };4 5struct B : A {};6static_assert(sizeof(B) == 24);7 8// CHECK: define{{.*}} nonnull align 8 dereferenceable(24) {{.*}} @_Z1fR1B({{.*}} nonnull align 8 dereferenceable(24)9B &f(B &b) { return b; }10 11struct C : virtual A {};12static_assert(sizeof(C) == 32);13 14// CHECK: define{{.*}} nonnull align 8 dereferenceable(8) {{.*}} @_Z1fR1C({{.*}} nonnull align 8 dereferenceable(8)15C &f(C &c) { return c; }16