Lines Matching full:ubsan
1 …linux-gnu | opt -instnamer -S | FileCheck %s --check-prefix=CHECK-COMMON --check-prefix=CHECK-UBSAN
6 // CHECK-UBSAN: @[[INT:.*]] = private unnamed_addr constant { i16, i16, [6 x i8] } { i16 0, i16 11,…
9 // CHECK-UBSAN: @[[LINE_100:.*]] = private unnamed_addr global {{.*}}, i32 100, i32 5 {{.*}} @[[INT…
10 // CHECK-UBSAN: @[[LINE_200:.*]] = {{.*}}, i32 200, i32 10 {{.*}}, i64 4, i8 0
11 // CHECK-UBSAN: @[[LINE_300:.*]] = {{.*}}, i32 300, i32 12 {{.*}} @{{.*}}, {{.*}} @{{.*}}
12 // CHECK-UBSAN: @[[LINE_400:.*]] = {{.*}}, i32 400, i32 12 {{.*}} @{{.*}}, {{.*}} @{{.*}}
13 // CHECK-UBSAN: @[[LINE_500:.*]] = {{.*}}, i32 500, i32 10 {{.*}} @{{.*}}, i64 4, i8 0 }
14 // CHECK-UBSAN: @[[LINE_600:.*]] = {{.*}}, i32 600, i32 3 {{.*}} @{{.*}}, i64 4, i8 1 }
16 // CHECK-UBSAN: @[[STRUCT_S:.*]] = private unnamed_addr constant { i16, i16, [11 x i8] } { i16 -1, …
18 // CHECK-UBSAN: @[[LINE_700:.*]] = {{.*}}, i32 700, i32 14 {{.*}} @[[STRUCT_S]], i64 4, i8 3 }
19 // CHECK-UBSAN: @[[LINE_800:.*]] = {{.*}}, i32 800, i32 12 {{.*}} @{{.*}} }
20 // CHECK-UBSAN: @[[LINE_900:.*]] = {{.*}}, i32 900, i32 11 {{.*}} @{{.*}} }
21 // CHECK-UBSAN: @[[LINE_1000:.*]] = {{.*}}, i32 1000, i32 10 {{.*}} @{{.*}} }
22 // CHECK-UBSAN: @[[FP16:.*]] = private unnamed_addr constant { i16, i16, [9 x i8] } { i16 1, i16 16…
23 // CHECK-UBSAN: @[[LINE_1100:.*]] = {{.*}}, i32 1100, i32 8 {{.*}} @{{.*}} }
24 // CHECK-UBSAN: @[[LINE_1200:.*]] = {{.*}}, i32 1200, i32 10 {{.*}} @{{.*}} }
25 // CHECK-UBSAN: @[[LINE_1300:.*]] = {{.*}}, i32 1300, i32 10 {{.*}} @{{.*}} }
26 // CHECK-UBSAN: @[[LINE_1400:.*]] = {{.*}}, i32 1400, i32 10 {{.*}} @{{.*}} }
28 // CHECK-UBSAN: @[[LINE_1500:.*]] = {{.*}}, i32 1500, i32 10 {{.*}} @[[FP16]], {{.*}} }
29 // CHECK-UBSAN: @[[SCHAR:.*]] = private unnamed_addr constant { i16, i16, [14 x i8] } { i16 0, i16 …
30 // CHECK-UBSAN: @[[LINE_1500:.*]] = {{.*}}, i32 1500, i32 10 {{.*}} @[[FP16]], {{.*}} }
31 // CHECK-UBSAN: @[[LINE_1600:.*]] = {{.*}}, i32 1600, i32 10 {{.*}} @{{.*}} }
53 // CHECK-UBSAN: br i1 %[[OK]], {{.*}} !prof ![[WEIGHT_MD:.*]], !nosanitize in foo()
56 // CHECK-UBSAN: %[[ARG:.*]] = ptrtoint {{.*}} %[[PTR]] to i64 in foo()
57 …// CHECK-UBSAN-NEXT: call void @__ubsan_handle_type_mismatch(i8* bitcast ({{.*}} @[[LINE_100]] to … in foo()
79 // CHECK-UBSAN: %[[ARG:.*]] = ptrtoint in bar()
80 …// CHECK-UBSAN-NEXT: call void @__ubsan_handle_type_mismatch(i8* bitcast ({{.*}} @[[LINE_200]] to … in bar()
89 // CHECK-UBSAN-LABEL: @addr_space
91 // CHECK-UBSAN-NOT: __ubsan in addr_space()
110 // CHECK-UBSAN: br i1 %[[VALID]], {{.*}} !prof ![[WEIGHT_MD]] in lsh_overflow()
113 // CHECK-UBSAN: %[[ARG1:.*]] = zext in lsh_overflow()
114 // CHECK-UBSAN-NEXT: %[[ARG2:.*]] = zext in lsh_overflow()
115 …// CHECK-UBSAN-NEXT: call void @__ubsan_handle_shift_out_of_bounds(i8* bitcast ({{.*}} @[[LINE_300… in lsh_overflow()
116 // CHECK-UBSAN-NOT: call void @__ubsan_handle_shift_out_of_bounds in lsh_overflow()
133 // CHECK-UBSAN: %[[ARG1:.*]] = zext in rsh_inbounds()
134 // CHECK-UBSAN-NEXT: %[[ARG2:.*]] = zext in rsh_inbounds()
135 …// CHECK-UBSAN-NEXT: call void @__ubsan_handle_shift_out_of_bounds(i8* bitcast ({{.*}} @[[LINE_400… in rsh_inbounds()
148 …// CHECK-UBSAN: call void @__ubsan_handle_type_mismatch(i8* bitcast ({{.*}} @[[LINE_500]] to i8*),… in load()
158 …// CHECK-UBSAN: call void @__ubsan_handle_type_mismatch(i8* bitcast ({{.*}} @[[LINE_600]] to i8*),… in store()
170 …// CHECK-UBSAN: call void @__ubsan_handle_type_mismatch(i8* bitcast ({{.*}} @[[LINE_700]] to i8*),… in member_access()
180 // CHECK-UBSAN: %[[ARG1:.*]] = zext in signed_overflow()
181 // CHECK-UBSAN-NEXT: %[[ARG2:.*]] = zext in signed_overflow()
182 …// CHECK-UBSAN-NEXT: call void @__ubsan_handle_add_overflow(i8* bitcast ({{.*}} @[[LINE_800]] to i… in signed_overflow()
200 // CHECK-UBSAN-LABEL: @vla_bound
202 // CHECK-UBSAN: icmp sgt i32 %[[PARAM:.*]], 0 in vla_bound()
204 // CHECK-UBSAN: %[[ARG:.*]] = zext i32 %[[PARAM]] to i64 in vla_bound()
205 …// CHECK-UBSAN-NEXT: call void @__ubsan_handle_vla_bound_not_positive(i8* bitcast ({{.*}} @[[LINE_… in vla_bound()
210 // CHECK-UBSAN-LABEL: @int_float_no_overflow
212 // CHECK-UBSAN-NOT: call void @__ubsan_handle in int_float_no_overflow()
222 …// CHECK-UBSAN: call void @__ubsan_handle_float_cast_overflow(i8* bitcast ({{.*}} @[[LINE_1000]] t… in int_float_overflow()
237 …// CHECK-UBSAN: call void @__ubsan_handle_float_cast_overflow(i8* bitcast ({{.*}} @[[LINE_1100]] t… in int_fp16_overflow()
252 // CHECK-UBSAN: %[[CAST:.*]] = bitcast float %[[F]] to i32 in float_int_overflow()
253 // CHECK-UBSAN: %[[ARG:.*]] = zext i32 %[[CAST]] to i64 in float_int_overflow()
254 …// CHECK-UBSAN: call void @__ubsan_handle_float_cast_overflow(i8* bitcast ({{.*}} @[[LINE_1200]] t… in float_int_overflow()
264 // CHECK-UBSAN: alloca x86_fp80 in long_double_int_overflow()
271 // CHECK-UBSAN: store x86_fp80 %[[F]], x86_fp80* %[[ALLOCA:.*]], align 16, !nosanitize in long_double_int_overflow()
272 // CHECK-UBSAN: %[[ARG:.*]] = ptrtoint x86_fp80* %[[ALLOCA]] to i64 in long_double_int_overflow()
273 …// CHECK-UBSAN: call void @__ubsan_handle_float_cast_overflow(i8* bitcast ({{.*}} @[[LINE_1300]] t… in long_double_int_overflow()
288 …// CHECK-UBSAN: call void @__ubsan_handle_float_cast_overflow(i8* bitcast ({{.*}} @[[LINE_1400]] t… in float_uint_overflow()
303 …// CHECK-UBSAN: call void @__ubsan_handle_float_cast_overflow(i8* bitcast ({{.*}} @[[LINE_1500]] t… in fp16_char_overflow()
320 …// CHECK-UBSAN: call void @__ubsan_handle_float_cast_overflow(i8* bitcast ({{.*}} @[[LINE_1600]] t… in float_float_overflow()
358 // CHECK-UBSAN: call void @__ubsan_handle_load_invalid_value(i8* bitcast ({{.*}}), i64 {{.*}}) in sour_bool()
371 // CHECK-UBSAN: call void @__ubsan_handle_nonnull_return in ret_nonnull()
384 // CHECK-UBSAN: call void @__ubsan_handle_nonnull_arg in call_decl_nonnull()
396 // CHECK-UBSAN: call void @__ubsan_handle_nonnull_arg in call_memcpy_nonnull()
400 // CHECK-UBSAN: call void @__ubsan_handle_nonnull_arg in call_memcpy_nonnull()
410 // CHECK-UBSAN: call void @__ubsan_handle_nonnull_arg in call_memmove_nonnull()
414 // CHECK-UBSAN: call void @__ubsan_handle_nonnull_arg in call_memmove_nonnull()
425 // CHECK-UBSAN: call void @__ubsan_handle_nonnull_arg in call_nonnull_variadic()
426 // CHECK-UBSAN-NOT: __ubsan_handle_nonnull_arg in call_nonnull_variadic()
432 // CHECK-UBSAN: ![[WEIGHT_MD]] = !{!"branch_weights", i32 1048575, i32 1}