1 // RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -o - | FileCheck %s 2 struct A { 3 void f(); 4 5 int a; 6 }; 7 8 struct B : A { 9 double b; 10 }; 11 12 void f() { 13 B b; 14 15 b.f(); 16 } 17 18 // CHECK: define %struct.B* @_Z1fP1A(%struct.A* %a) [[NUW:#[0-9]+]] 19 B *f(A *a) { 20 // CHECK-NOT: br label 21 // CHECK: ret %struct.B* 22 return static_cast<B*>(a); 23 } 24 25 // PR5965 26 namespace PR5965 { 27 28 // CHECK: define %struct.A* @_ZN6PR59651fEP1B(%struct.B* %b) [[NUW]] 29 A *f(B* b) { 30 // CHECK-NOT: br label 31 // CHECK: ret %struct.A* 32 return b; 33 } 34 35 } 36 37 // Don't crash on a derived-to-base conversion of an r-value 38 // aggregate. 39 namespace test3 { 40 struct A {}; 41 struct B : A {}; 42 43 void foo(A a); 44 void test() { 45 foo(B()); 46 } 47 } 48 49 // CHECK: attributes [[NUW]] = { nounwind{{.*}} } 50
