32 lines · cpp
1// RUN: %clang_cc1 -I%S %s -triple x86_64-apple-darwin10 -O1 -emit-llvm -std=c++11 -o - | FileCheck %s --check-prefixes=CHECK,EXACT2// RUN: %clang_cc1 -I%S %s -triple x86_64-apple-darwin10 -O0 -emit-llvm -std=c++11 -o - | FileCheck %s --check-prefixes=CHECK,INEXACT3// RUN: %clang_cc1 -I%S %s -triple x86_64-apple-darwin10 -O1 -fvisibility=hidden -emit-llvm -std=c++11 -o - | FileCheck %s --check-prefixes=CHECK,INEXACT4// RUN: %clang_cc1 -I%S %s -triple x86_64-apple-darwin10 -O1 -fapple-kext -emit-llvm -std=c++11 -o - | FileCheck %s --check-prefixes=CHECK,INEXACT5// RUN: %clang_cc1 -I%S %s -triple x86_64-apple-darwin10 -O1 -fno-assume-unique-vtables -emit-llvm -std=c++11 -o - | FileCheck %s --check-prefixes=CHECK,INEXACT6 7struct A { virtual ~A(); };8struct B final : A { };9 10// CHECK-LABEL: @_Z5exactP1A11B *exact(A *a) {12 // INEXACT: call {{.*}} @__dynamic_cast13 // EXACT-NOT: call {{.*}} @__dynamic_cast14 return dynamic_cast<B*>(a);15}16 17struct C {18 virtual ~C();19};20 21struct D final : private C {22 23};24 25// CHECK-LABEL: @_Z5exactP1C26D *exact(C *a) {27 // INEXACT: call {{.*}} @__dynamic_cast28 // EXACT: entry:29 // EXACT-NEXT: ret ptr null30 return dynamic_cast<D*>(a);31}32