| 1 | // RUN: %clang_cc1 -triple x86_64-unknown-linux -fvisibility hidden -fsanitize=cfi-vcall,cfi-nvcall,cfi-derived-cast,cfi-unrelated-cast,cfi-icall -fsanitize-stats -emit-llvm -o - %s | FileCheck %s |
|---|
| 2 | // RUN: %clang_cc1 -triple x86_64-unknown-linux -fvisibility hidden -fsanitize=cfi-vcall,cfi-nvcall,cfi-derived-cast,cfi-unrelated-cast,cfi-icall -fsanitize-trap=cfi-vcall -fwhole-program-vtables -fsanitize-stats -emit-llvm -o - %s | FileCheck %s |
|---|
| 3 | |
|---|
| 4 | // CHECK: [[STATS:@[^ ]*]] = internal global { i8*, i32, [5 x [2 x i8*]] } { i8* null, i32 5, [5 x [2 x i8*]] |
|---|
| 5 | // CHECK: {{\[\[}}2 x i8*] zeroinitializer, |
|---|
| 6 | // CHECK: [2 x i8*] [i8* null, i8* inttoptr (i64 2305843009213693952 to i8*)], |
|---|
| 7 | // CHECK: [2 x i8*] [i8* null, i8* inttoptr (i64 4611686018427387904 to i8*)], |
|---|
| 8 | // CHECK: [2 x i8*] [i8* null, i8* inttoptr (i64 6917529027641081856 to i8*)], |
|---|
| 9 | // CHECK: [2 x i8*] [i8* null, i8* inttoptr (i64 -9223372036854775808 to i8*)]] } |
|---|
| 10 | |
|---|
| 11 | // CHECK: @llvm.global_ctors = appending global [1 x { i32, void ()*, i8* }] [{ i32, void ()*, i8* } { i32 0, void ()* [[CTOR:@[^ ]*]], i8* null }] |
|---|
| 12 | |
|---|
| 13 | struct A { |
|---|
| 14 | virtual void vf(); |
|---|
| 15 | void nvf(); |
|---|
| 16 | }; |
|---|
| 17 | struct B : A {}; |
|---|
| 18 | |
|---|
| 19 | // CHECK: @vcall |
|---|
| 20 | extern "C" void vcall(A *a) { |
|---|
| 21 | // CHECK: call void @__sanitizer_stat_report({{.*}}[[STATS]]{{.*}}i64 0, i32 2, i64 0 |
|---|
| 22 | a->vf(); |
|---|
| 23 | } |
|---|
| 24 | |
|---|
| 25 | // CHECK: @nvcall |
|---|
| 26 | extern "C" void nvcall(A *a) { |
|---|
| 27 | // CHECK: call void @__sanitizer_stat_report({{.*}}[[STATS]]{{.*}}i64 0, i32 2, i64 1 |
|---|
| 28 | a->nvf(); |
|---|
| 29 | } |
|---|
| 30 | |
|---|
| 31 | // CHECK: @dcast |
|---|
| 32 | extern "C" void dcast(A *a) { |
|---|
| 33 | // CHECK: call void @__sanitizer_stat_report({{.*}}[[STATS]]{{.*}}i64 0, i32 2, i64 2 |
|---|
| 34 | static_cast<B *>(a); |
|---|
| 35 | } |
|---|
| 36 | |
|---|
| 37 | // CHECK: @ucast |
|---|
| 38 | extern "C" void ucast(void *a) { |
|---|
| 39 | // CHECK: call void @__sanitizer_stat_report({{.*}}[[STATS]]{{.*}}i64 0, i32 2, i64 3 |
|---|
| 40 | reinterpret_cast<A *>(a); |
|---|
| 41 | } |
|---|
| 42 | |
|---|
| 43 | // CHECK: @icall |
|---|
| 44 | extern "C" void icall(void (*p)()) { |
|---|
| 45 | // CHECK: call void @__sanitizer_stat_report({{.*}}[[STATS]]{{.*}}i64 0, i32 2, i64 4 |
|---|
| 46 | p(); |
|---|
| 47 | } |
|---|
| 48 | |
|---|
| 49 | // CHECK: define internal void [[CTOR]]() |
|---|
| 50 | // CHECK-NEXT: call void @__sanitizer_stat_init(i8* bitcast ({ i8*, i32, [5 x [2 x i8*]] }* [[STATS]] to i8*)) |
|---|
| 51 | // CHECK-NEXT: ret void |
|---|
| 52 | |
|---|