summaryrefslogtreecommitdiffstats
path: root/test/CodeGenCXX/cfi-vcall-no-trap.cpp
blob: b7ef1426a91d45bf565b18599fbb9751648e464f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
// Only output llvm.assume(llvm.type.test()) if cfi-vcall is disabled and whole-program-vtables is enabled
// RUN: %clang_cc1 -flto -fvisibility hidden -fsanitize=cfi-vcall -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=CHECK --check-prefix=CFI %s
// RUN: %clang_cc1 -flto -fvisibility hidden -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=CHECK --check-prefix=NOCFI %s

struct S1 {
  virtual void f();
};

// CHECK: define{{.*}}s1f
// CHECK: llvm.type.test
// CFI-NOT: llvm.assume
// NOCFI: llvm.assume
void s1f(S1 *s1) {
  s1->f();
}