Mercurial > hg > CbC > CbC_llvm
comparison clang/test/CodeGen/catch-implicit-signed-integer-truncations-basics-negatives.c @ 150:1d019706d866
LLVM10
| author | anatofuz |
|---|---|
| date | Thu, 13 Feb 2020 15:10:13 +0900 |
| parents | |
| children | c4bab56944e8 |
comparison
equal
deleted
inserted
replaced
| 147:c2174574ed3a | 150:1d019706d866 |
|---|---|
| 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 } |