clang/test/CodeGenCXX/dereferenceable.cpp

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