| Peter Collingbourne | 3afb266 | 2016-04-28 17:09:37 +0000 | [diff] [blame] | 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 |
| Peter Collingbourne | 0ca0363 | 2016-06-25 00:24:06 +0000 | [diff] [blame] | 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 |
| Peter Collingbourne | dc13453 | 2016-01-16 00:31:22 +0000 | [diff] [blame] | 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 |