153 lines · c
1// RUN: %clang_cc1 -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s --check-prefix=CHECK2// RUN: %clang_cc1 -fsanitize=implicit-signed-integer-truncation,implicit-integer-sign-change -fno-sanitize-recover=implicit-signed-integer-truncation,implicit-integer-sign-change -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s -implicit-check-not="call void @__ubsan_handle_implicit_conversion" --check-prefixes=CHECK,CHECK-SANITIZE,CHECK-SANITIZE-ANYRECOVER,CHECK-SANITIZE-NORECOVER,CHECK-SANITIZE-UNREACHABLE3// RUN: %clang_cc1 -fsanitize=implicit-signed-integer-truncation,implicit-integer-sign-change -fsanitize-recover=implicit-signed-integer-truncation,implicit-integer-sign-change -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s -implicit-check-not="call void @__ubsan_handle_implicit_conversion" --check-prefixes=CHECK,CHECK-SANITIZE,CHECK-SANITIZE-ANYRECOVER,CHECK-SANITIZE-RECOVER4// RUN: %clang_cc1 -fsanitize=implicit-signed-integer-truncation,implicit-integer-sign-change -fsanitize-trap=implicit-signed-integer-truncation,implicit-integer-sign-change -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s -implicit-check-not="call void @__ubsan_handle_implicit_conversion" --check-prefixes=CHECK,CHECK-SANITIZE,CHECK-SANITIZE-TRAP,CHECK-SANITIZE-UNREACHABLE5 6// CHECK-SANITIZE-ANYRECOVER: @[[UNSIGNED_INT:.*]] = {{.*}} c"'unsigned int'\00" }7// CHECK-SANITIZE-ANYRECOVER-NEXT: @[[SIGNED_CHAR:.*]] = {{.*}} c"'signed char'\00" }8// CHECK-SANITIZE-ANYRECOVER-NEXT: @[[LINE_100_SIGNED_TRUNCATION_OR_SIGN_CHANGE:.*]] = {{.*}}, i32 100, i32 10 }, ptr @[[UNSIGNED_INT]], ptr @[[SIGNED_CHAR]], i8 4, i32 0 }9// CHECK-SANITIZE-ANYRECOVER-NEXT: @[[LINE_200_SIGN_CHANGE:.*]] = {{.*}}, i32 200, i32 10 }, ptr @[[UNSIGNED_INT]], ptr @[[SIGNED_CHAR]], i8 3, i32 0 }10// CHECK-SANITIZE-ANYRECOVER-NEXT: @[[LINE_300_SIGN_CHANGE:.*]] = {{.*}}, i32 300, i32 10 }, ptr @[[UNSIGNED_INT]], ptr @[[SIGNED_CHAR]], i8 3, i32 0 }11// CHECK-SANITIZE-ANYRECOVER-NEXT: @[[LINE_400_SIGNED_TRUNCATION:.*]] = {{.*}}, i32 400, i32 10 }, ptr @[[UNSIGNED_INT]], ptr @[[SIGNED_CHAR]], i8 2, i32 0 }12 13//============================================================================//14// Both sanitizers are enabled, and not disabled per-function.15//============================================================================//16 17// CHECK-LABEL: @unsigned_int_to_signed_char18// CHECK-SAME: i32 noundef %[[SRC:.*]])19signed char unsigned_int_to_signed_char(unsigned int src) {20 // CHECK-NEXT: [[ENTRY:.*]]:21 // CHECK-NEXT: %[[SRC_ADDR:.*]] = alloca i3222 // CHECK-NEXT: store i32 %[[SRC]], ptr %[[SRC_ADDR]]23 // CHECK-NEXT: %[[DST:.*]] = load i32, ptr %[[SRC_ADDR]]24 // CHECK-NEXT: %[[CONV:.*]] = trunc i32 %[[DST]] to i825 // CHECK-SANITIZE-NEXT: %[[DST_NEGATIVITYCHECK:.*]] = icmp slt i8 %[[CONV]], 0, !nosanitize26 // CHECK-SANITIZE-NEXT: %[[SIGNCHANGECHECK:.*]] = icmp eq i1 false, %[[DST_NEGATIVITYCHECK]], !nosanitize27 // CHECK-SANITIZE-NEXT: %[[ANYEXT:.*]] = sext i8 %[[CONV]] to i32, !nosanitize28 // CHECK-SANITIZE-NEXT: %[[TRUNCHECK:.*]] = icmp eq i32 %[[ANYEXT]], %[[DST]], !nosanitize29 // CHECK-SANITIZE-NEXT: %[[BOTHCHECKS:.*]] = and i1 %[[SIGNCHANGECHECK]], %[[TRUNCHECK]], !nosanitize30 // CHECK-SANITIZE-NEXT: br i1 %[[BOTHCHECKS]], label %[[CONT:.*]], label %[[HANDLER_IMPLICIT_CONVERSION:[^,]+]],{{.*}} !nosanitize31 // CHECK-SANITIZE: [[HANDLER_IMPLICIT_CONVERSION]]:32 // CHECK-SANITIZE-ANYRECOVER-NEXT: %[[EXTSRC:.*]] = zext i32 %[[DST]] to i64, !nosanitize33 // CHECK-SANITIZE-ANYRECOVER-NEXT: %[[EXTCONV:.*]] = zext i8 %[[CONV]] to i64, !nosanitize34 // CHECK-SANITIZE-NORECOVER-NEXT: call void @__ubsan_handle_implicit_conversion_abort(ptr @[[LINE_100_SIGNED_TRUNCATION_OR_SIGN_CHANGE]], i64 %[[EXTSRC]], i64 %[[EXTCONV]]){{.*}}, !nosanitize35 // CHECK-SANITIZE-RECOVER-NEXT: call void @__ubsan_handle_implicit_conversion(ptr @[[LINE_100_SIGNED_TRUNCATION_OR_SIGN_CHANGE]], i64 %[[EXTSRC]], i64 %[[EXTCONV]]){{.*}}, !nosanitize36 // CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 7){{.*}}, !nosanitize37 // CHECK-SANITIZE-UNREACHABLE-NEXT: unreachable, !nosanitize38 // CHECK-SANITIZE: [[CONT]]:39 // CHECK-NEXT: ret i8 %[[CONV]]40 // CHECK-NEXT: }41#line 10042 return src;43}44 45//============================================================================//46// Truncation sanitizer is disabled per-function.47//============================================================================//48 49// CHECK-LABEL: @unsigned_int_to_signed_char__no_truncation_sanitizer50// CHECK-SAME: i32 noundef %[[SRC:.*]])51__attribute__((no_sanitize("implicit-integer-truncation"))) signed char52unsigned_int_to_signed_char__no_truncation_sanitizer(unsigned int src) {53 // CHECK-NEXT: [[ENTRY:.*]]:54 // CHECK-NEXT: %[[SRC_ADDR:.*]] = alloca i3255 // CHECK-NEXT: store i32 %[[SRC]], ptr %[[SRC_ADDR]]56 // CHECK-NEXT: %[[DST:.*]] = load i32, ptr %[[SRC_ADDR]]57 // CHECK-NEXT: %[[CONV:.*]] = trunc i32 %[[DST]] to i858 // CHECK-SANITIZE-NEXT: %[[DST_NEGATIVITYCHECK:.*]] = icmp slt i8 %[[CONV]], 0, !nosanitize59 // CHECK-SANITIZE-NEXT: %[[SIGNCHANGECHECK:.*]] = icmp eq i1 false, %[[DST_NEGATIVITYCHECK]], !nosanitize60 // CHECK-SANITIZE-NEXT: br i1 %[[SIGNCHANGECHECK]], label %[[CONT:.*]], label %[[HANDLER_IMPLICIT_CONVERSION:[^,]+]],{{.*}} !nosanitize61 // CHECK-SANITIZE: [[HANDLER_IMPLICIT_CONVERSION]]:62 // CHECK-SANITIZE-ANYRECOVER-NEXT: %[[EXTSRC:.*]] = zext i32 %[[DST]] to i64, !nosanitize63 // CHECK-SANITIZE-ANYRECOVER-NEXT: %[[EXTCONV:.*]] = zext i8 %[[CONV]] to i64, !nosanitize64 // CHECK-SANITIZE-NORECOVER-NEXT: call void @__ubsan_handle_implicit_conversion_abort(ptr @[[LINE_200_SIGN_CHANGE]], i64 %[[EXTSRC]], i64 %[[EXTCONV]]){{.*}}, !nosanitize65 // CHECK-SANITIZE-RECOVER-NEXT: call void @__ubsan_handle_implicit_conversion(ptr @[[LINE_200_SIGN_CHANGE]], i64 %[[EXTSRC]], i64 %[[EXTCONV]]){{.*}}, !nosanitize66 // CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 7){{.*}}, !nosanitize67 // CHECK-SANITIZE-UNREACHABLE-NEXT: unreachable, !nosanitize68 // CHECK-SANITIZE: [[CONT]]:69 // CHECK-NEXT: ret i8 %[[CONV]]70 // CHECK-NEXT: }71#line 20072 return src;73}74 75//============================================================================//76// Signed truncation sanitizer is disabled per-function.77//============================================================================//78 79// CHECK-LABEL: @unsigned_int_to_signed_char__no_signed_truncation_sanitizer80// CHECK-SAME: i32 noundef %[[SRC:.*]])81__attribute__((no_sanitize("implicit-signed-integer-truncation"))) signed char82unsigned_int_to_signed_char__no_signed_truncation_sanitizer(unsigned int src) {83 // CHECK-NEXT: [[ENTRY:.*]]:84 // CHECK-NEXT: %[[SRC_ADDR:.*]] = alloca i3285 // CHECK-NEXT: store i32 %[[SRC]], ptr %[[SRC_ADDR]]86 // CHECK-NEXT: %[[DST:.*]] = load i32, ptr %[[SRC_ADDR]]87 // CHECK-NEXT: %[[CONV:.*]] = trunc i32 %[[DST]] to i888 // CHECK-SANITIZE-NEXT: %[[DST_NEGATIVITYCHECK:.*]] = icmp slt i8 %[[CONV]], 0, !nosanitize89 // CHECK-SANITIZE-NEXT: %[[SIGNCHANGECHECK:.*]] = icmp eq i1 false, %[[DST_NEGATIVITYCHECK]], !nosanitize90 // CHECK-SANITIZE-NEXT: br i1 %[[SIGNCHANGECHECK]], label %[[CONT:.*]], label %[[HANDLER_IMPLICIT_CONVERSION:[^,]+]],{{.*}} !nosanitize91 // CHECK-SANITIZE: [[HANDLER_IMPLICIT_CONVERSION]]:92 // CHECK-SANITIZE-ANYRECOVER-NEXT: %[[EXTSRC:.*]] = zext i32 %[[DST]] to i64, !nosanitize93 // CHECK-SANITIZE-ANYRECOVER-NEXT: %[[EXTCONV:.*]] = zext i8 %[[CONV]] to i64, !nosanitize94 // CHECK-SANITIZE-NORECOVER-NEXT: call void @__ubsan_handle_implicit_conversion_abort(ptr @[[LINE_300_SIGN_CHANGE]], i64 %[[EXTSRC]], i64 %[[EXTCONV]]){{.*}}, !nosanitize95 // CHECK-SANITIZE-RECOVER-NEXT: call void @__ubsan_handle_implicit_conversion(ptr @[[LINE_300_SIGN_CHANGE]], i64 %[[EXTSRC]], i64 %[[EXTCONV]]){{.*}}, !nosanitize96 // CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 7){{.*}}, !nosanitize97 // CHECK-SANITIZE-UNREACHABLE-NEXT: unreachable, !nosanitize98 // CHECK-SANITIZE: [[CONT]]:99 // CHECK-NEXT: ret i8 %[[CONV]]100 // CHECK-NEXT: }101#line 300102 return src;103}104 105//============================================================================//106// Sign change sanitizer is disabled per-function107//============================================================================//108 109// CHECK-LABEL: @unsigned_int_to_signed_char__no_sign_change_sanitizer110// CHECK-SAME: i32 noundef %[[SRC:.*]])111__attribute__((no_sanitize("implicit-integer-sign-change"))) signed char112unsigned_int_to_signed_char__no_sign_change_sanitizer(unsigned int src) {113 // CHECK-NEXT: [[ENTRY:.*]]:114 // CHECK-NEXT: %[[SRC_ADDR:.*]] = alloca i32115 // CHECK-NEXT: store i32 %[[SRC]], ptr %[[SRC_ADDR]]116 // CHECK-NEXT: %[[DST:.*]] = load i32, ptr %[[SRC_ADDR]]117 // CHECK-NEXT: %[[CONV:.*]] = trunc i32 %[[DST]] to i8118 // CHECK-SANITIZE-NEXT: %[[ANYEXT:.*]] = sext i8 %[[CONV]] to i32, !nosanitize119 // CHECK-SANITIZE-NEXT: %[[TRUNCHECK:.*]] = icmp eq i32 %[[ANYEXT]], %[[DST]], !nosanitize120 // CHECK-SANITIZE-NEXT: br i1 %[[TRUNCHECK]], label %[[CONT:.*]], label %[[HANDLER_IMPLICIT_CONVERSION:[^,]+]],{{.*}} !nosanitize121 // CHECK-SANITIZE: [[HANDLER_IMPLICIT_CONVERSION]]:122 // CHECK-SANITIZE-ANYRECOVER-NEXT: %[[EXTSRC:.*]] = zext i32 %[[DST]] to i64, !nosanitize123 // CHECK-SANITIZE-ANYRECOVER-NEXT: %[[EXTCONV:.*]] = zext i8 %[[CONV]] to i64, !nosanitize124 // CHECK-SANITIZE-NORECOVER-NEXT: call void @__ubsan_handle_implicit_conversion_abort(ptr @[[LINE_400_SIGNED_TRUNCATION]], i64 %[[EXTSRC]], i64 %[[EXTCONV]]){{.*}}, !nosanitize125 // CHECK-SANITIZE-RECOVER-NEXT: call void @__ubsan_handle_implicit_conversion(ptr @[[LINE_400_SIGNED_TRUNCATION]], i64 %[[EXTSRC]], i64 %[[EXTCONV]]){{.*}}, !nosanitize126 // CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 7){{.*}}, !nosanitize127 // CHECK-SANITIZE-UNREACHABLE-NEXT: unreachable, !nosanitize128 // CHECK-SANITIZE: [[CONT]]:129 // CHECK-NEXT: ret i8 %[[CONV]]130 // CHECK-NEXT: }131#line 400132 return src;133}134 135//============================================================================//136// Both sanitizers are disabled per-function.137//============================================================================//138 139// CHECK-LABEL: @unsigned_int_to_signed_char__no_sanitizers140// CHECK-SAME: i32 noundef %[[SRC:.*]])141__attribute__((no_sanitize("implicit-integer-truncation"),142 no_sanitize("implicit-integer-sign-change"))) signed char143unsigned_int_to_signed_char__no_sanitizers(unsigned int src) {144 // CHECK-NEXT: [[ENTRY:.*]]:145 // CHECK-NEXT: %[[SRC_ADDR:.*]] = alloca i32146 // CHECK-NEXT: store i32 %[[SRC]], ptr %[[SRC_ADDR]]147 // CHECK-NEXT: %[[DST:.*]] = load i32, ptr %[[SRC_ADDR]]148 // CHECK-NEXT: %[[CONV:.*]] = trunc i32 %[[DST]] to i8149 // CHECK-NEXT: ret i8 %[[CONV]]150 // CHECK-NEXT: }151 return src;152}153