| Roman Lebedev | dd40357 | 2018-10-11 09:09:50 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsanitize=implicit-signed-integer-truncation -fsanitize-recover=implicit-signed-integer-truncation -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s -implicit-check-not="call void @__ubsan_handle_implicit_conversion" --check-prefixes=CHECK |
| 2 | |
| 3 | // CHECK-DAG: @[[LINE_100_SIGNED_TRUNCATION:.*]] = {{.*}}, i32 100, i32 10 }, {{.*}}, {{.*}}, i8 2 } |
| 4 | // CHECK-DAG: @[[LINE_200_SIGNED_TRUNCATION:.*]] = {{.*}}, i32 200, i32 10 }, {{.*}}, {{.*}}, i8 2 } |
| 5 | |
| 6 | // CHECK-LABEL: @blacklist_0_convert_signed_int_to_signed_char |
| 7 | __attribute__((no_sanitize("undefined"))) signed char blacklist_0_convert_signed_int_to_signed_char(signed int x) { |
| 8 | // We are not in "undefined" group, so that doesn't work. |
| 9 | // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_100_SIGNED_TRUNCATION]] to i8*) |
| 10 | #line 100 |
| 11 | return x; |
| 12 | } |
| 13 | |
| 14 | // CHECK-LABEL: @blacklist_1_convert_signed_int_to_signed_char |
| 15 | __attribute__((no_sanitize("integer"))) signed char blacklist_1_convert_signed_int_to_signed_char(signed int x) { |
| 16 | return x; |
| 17 | } |
| 18 | |
| 19 | // CHECK-LABEL: @blacklist_2_convert_signed_int_to_signed_char |
| 20 | __attribute__((no_sanitize("implicit-conversion"))) signed char blacklist_2_convert_signed_int_to_signed_char(signed int x) { |
| 21 | return x; |
| 22 | } |
| 23 | |
| 24 | // CHECK-LABEL: @blacklist_3_convert_signed_int_to_signed_char |
| 25 | __attribute__((no_sanitize("implicit-integer-truncation"))) signed char blacklist_3_convert_signed_int_to_signed_char(signed int x) { |
| 26 | return x; |
| 27 | } |
| 28 | |
| 29 | // CHECK-LABEL: @blacklist_4_convert_signed_int_to_signed_char |
| 30 | __attribute__((no_sanitize("implicit-signed-integer-truncation"))) signed char blacklist_4_convert_signed_int_to_signed_char(signed int x) { |
| 31 | return x; |
| 32 | } |
| 33 | |
| 34 | // CHECK-LABEL: @blacklist_5_convert_signed_int_to_signed_char |
| 35 | __attribute__((no_sanitize("implicit-unsigned-integer-truncation"))) signed char blacklist_5_convert_signed_int_to_signed_char(signed int x) { |
| 36 | // This is an signed truncation, not unsigned-one. |
| 37 | // CHECK: call void @__ubsan_handle_implicit_conversion(i8* bitcast ({ {{{.*}}}, {{{.*}}}*, {{{.*}}}*, i8 }* @[[LINE_200_SIGNED_TRUNCATION]] to i8*) |
| 38 | #line 200 |
| 39 | return x; |
| 40 | } |