about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/intrinsics
ModeNameSize
-rw-r--r--assume.rs240log plain
-rw-r--r--assume.stderr695log plain
-rw-r--r--copy_overflow.rs220log plain
-rw-r--r--copy_overflow.stderr816log plain
-rw-r--r--copy_overlapping.rs381log plain
-rw-r--r--copy_overlapping.stderr765log plain
-rw-r--r--copy_unaligned.rs467log plain
-rw-r--r--copy_unaligned.stderr799log plain
-rw-r--r--ctlz_nonzero.rs165log plain
-rw-r--r--ctlz_nonzero.stderr677log plain
-rw-r--r--cttz_nonzero.rs165log plain
-rw-r--r--cttz_nonzero.stderr677log plain
-rw-r--r--disjoint_bitor.rs173log plain
-rw-r--r--disjoint_bitor.stderr777log plain
-rw-r--r--div-by-zero.rs156log plain
-rw-r--r--div-by-zero.stderr693log plain
-rw-r--r--exact_div1.rs140log plain
-rw-r--r--exact_div1.stderr737log plain
-rw-r--r--exact_div2.rs190log plain
-rw-r--r--exact_div2.stderr756log plain
-rw-r--r--exact_div3.rs198log plain
-rw-r--r--exact_div3.stderr758log plain
-rw-r--r--exact_div4.rs190log plain
-rw-r--r--exact_div4.stderr754log plain
-rw-r--r--fast_math_both.rs215log plain
-rw-r--r--fast_math_both.stderr808log plain
-rw-r--r--fast_math_first.rs210log plain
-rw-r--r--fast_math_first.stderr800log plain
-rw-r--r--fast_math_result.rs193log plain
-rw-r--r--fast_math_result.stderr784log plain
-rw-r--r--fast_math_second.rs219log plain
-rw-r--r--fast_math_second.stderr819log plain
-rw-r--r--float_to_int_32_inf1.rs284log plain
-rw-r--r--float_to_int_32_inf1.stderr833log plain
-rw-r--r--float_to_int_32_infneg1.rs288log plain
-rw-r--r--float_to_int_32_infneg1.stderr847log plain
-rw-r--r--float_to_int_32_nan.rs279log plain
-rw-r--r--float_to_int_32_nan.stderr820log plain
-rw-r--r--float_to_int_32_nanneg.rs280log plain
-rw-r--r--float_to_int_32_nanneg.stderr828log plain
-rw-r--r--float_to_int_32_neg.rs286log plain
-rw-r--r--float_to_int_32_neg.stderr832log plain
-rw-r--r--float_to_int_32_too_big1.rs286log plain
-rw-r--r--float_to_int_32_too_big1.stderr853log plain
-rw-r--r--float_to_int_32_too_big2.rs294log plain
-rw-r--r--float_to_int_32_too_big2.stderr868log plain
-rw-r--r--float_to_int_32_too_small1.rs287log plain
-rw-r--r--float_to_int_32_too_small1.stderr859log plain
-rw-r--r--float_to_int_64_inf1.rs286log plain
-rw-r--r--float_to_int_64_inf1.stderr836log plain
-rw-r--r--float_to_int_64_infneg1.rs290log plain
-rw-r--r--float_to_int_64_infneg1.stderr850log plain
-rw-r--r--float_to_int_64_infneg2.rs290log plain
-rw-r--r--float_to_int_64_infneg2.stderr850log plain
-rw-r--r--float_to_int_64_nan.rs279log plain
-rw-r--r--float_to_int_64_nan.stderr820log plain
-rw-r--r--float_to_int_64_neg.rs292log plain
-rw-r--r--float_to_int_64_neg.stderr860log plain
-rw-r--r--float_to_int_64_too_big1.rs286log plain
-rw-r--r--float_to_int_64_too_big1.stderr850log plain
-rw-r--r--float_to_int_64_too_big2.rs295log plain
-rw-r--r--float_to_int_64_too_big2.stderr880log plain
-rw-r--r--float_to_int_64_too_big3.rs296log plain
-rw-r--r--float_to_int_64_too_big3.stderr882log plain
-rw-r--r--float_to_int_64_too_big4.rs289log plain
-rw-r--r--float_to_int_64_too_big4.stderr867log plain
-rw-r--r--float_to_int_64_too_big5.rs317log plain
-rw-r--r--float_to_int_64_too_big5.stderr919log plain
-rw-r--r--float_to_int_64_too_big6.rs281log plain
-rw-r--r--float_to_int_64_too_big6.stderr852log plain
-rw-r--r--float_to_int_64_too_big7.rs281log plain
-rw-r--r--float_to_int_64_too_big7.stderr853log plain
-rw-r--r--float_to_int_64_too_small1.rs287log plain
-rw-r--r--float_to_int_64_too_small1.stderr857log plain
-rw-r--r--float_to_int_64_too_small2.rs296log plain
-rw-r--r--float_to_int_64_too_small2.stderr887log plain
-rw-r--r--float_to_int_64_too_small3.rs318log plain
-rw-r--r--float_to_int_64_too_small3.stderr926log plain
-rw-r--r--funnel_shl.rs169log plain
-rw-r--r--funnel_shl.stderr743log plain
-rw-r--r--funnel_shr.rs169log plain
-rw-r--r--funnel_shr.stderr743log plain
-rw-r--r--intrinsic_target_feature.rs1184log plain
-rw-r--r--intrinsic_target_feature.stderr820log plain
-rw-r--r--ptr_metadata_uninit_slice_data.rs889log plain
-rw-r--r--ptr_metadata_uninit_slice_data.stderr1119log plain
-rw-r--r--ptr_metadata_uninit_slice_len.rs910log plain
-rw-r--r--ptr_metadata_uninit_slice_len.stderr2261log plain
-rw-r--r--ptr_metadata_uninit_thin.rs892log plain
-rw-r--r--ptr_metadata_uninit_thin.stderr1087log plain
-rw-r--r--ptr_offset_from_different_allocs.rs134log plain
-rw-r--r--ptr_offset_from_different_allocs.stderr836log plain
-rw-r--r--ptr_offset_from_different_ints.rs555log plain
-rw-r--r--ptr_offset_from_different_ints.stderr816log plain
-rw-r--r--ptr_offset_from_oob.rs205log plain
-rw-r--r--ptr_offset_from_oob.stderr823log plain
-rw-r--r--ptr_offset_from_unsigned_neg.rs278log plain
-rw-r--r--ptr_offset_from_unsigned_neg.stderr844log plain
-rw-r--r--ptr_offset_int_plus_int.rs217log plain
-rw-r--r--ptr_offset_int_plus_int.stderr857log plain
-rw-r--r--ptr_offset_int_plus_ptr.rs342log plain
-rw-r--r--ptr_offset_int_plus_ptr.stderr885log plain
-rw-r--r--ptr_offset_out_of_bounds.rs206log plain
-rw-r--r--ptr_offset_out_of_bounds.stderr996log plain
-rw-r--r--ptr_offset_out_of_bounds_neg.rs198log plain
-rw-r--r--ptr_offset_out_of_bounds_neg.stderr1002log plain
-rw-r--r--ptr_offset_out_of_bounds_neg2.rs219log plain
-rw-r--r--ptr_offset_out_of_bounds_neg2.stderr1060log plain
-rw-r--r--ptr_offset_overflow.rs262log plain
-rw-r--r--ptr_offset_overflow.stderr996log plain
-rw-r--r--ptr_offset_unsigned_overflow.rs405log plain
-rw-r--r--ptr_offset_unsigned_overflow.stderr805log plain
-rw-r--r--rem-by-zero.rs189log plain
-rw-r--r--rem-by-zero.stderr725log plain
-rw-r--r--simd-div-by-zero.rs315log plain
-rw-r--r--simd-div-by-zero.stderr669log plain
-rw-r--r--simd-div-overflow.rs334log plain
-rw-r--r--simd-div-overflow.stderr703log plain
-rw-r--r--simd-extract.rs218log plain
-rw-r--r--simd-extract.stderr802log plain
-rw-r--r--simd-float-to-int.rs225log plain
-rw-r--r--simd-float-to-int.stderr873log plain
-rw-r--r--simd-gather.rs342log plain
-rw-r--r--simd-gather.stderr927log plain
-rw-r--r--simd-reduce-invalid-bool.rs291log plain
-rw-r--r--simd-reduce-invalid-bool.stderr737log plain
-rw-r--r--simd-rem-by-zero.rs347log plain
-rw-r--r--simd-rem-by-zero.stderr701log plain
-rw-r--r--simd-scatter.rs409log plain
-rw-r--r--simd-scatter.stderr1310log plain
-rw-r--r--simd-select-invalid-bool.rs312log plain
-rw-r--r--simd-select-invalid-bool.stderr741log plain
-rw-r--r--simd-shl-too-far.rs329log plain
-rw-r--r--simd-shl-too-far.stderr701log plain
-rw-r--r--simd-shr-too-far.rs328log plain
-rw-r--r--simd-shr-too-far.stderr700log plain
-rw-r--r--typed-swap-invalid-array.rs455log plain
-rw-r--r--typed-swap-invalid-array.stderr925log plain
-rw-r--r--typed-swap-invalid-scalar.left.stderr924log plain
-rw-r--r--typed-swap-invalid-scalar.right.stderr924log plain
-rw-r--r--typed-swap-invalid-scalar.rs603log plain
-rw-r--r--typed-swap-overlap.rs299log plain
-rw-r--r--typed-swap-overlap.stderr741log plain
-rw-r--r--unchecked_add1.rs141log plain
-rw-r--r--unchecked_add1.stderr751log plain
-rw-r--r--unchecked_add2.rs144log plain
-rw-r--r--unchecked_add2.stderr757log plain
-rw-r--r--unchecked_div1.rs212log plain
-rw-r--r--unchecked_div1.stderr757log plain
-rw-r--r--unchecked_mul1.rs140log plain
-rw-r--r--unchecked_mul1.stderr749log plain
-rw-r--r--unchecked_mul2.rs146log plain
-rw-r--r--unchecked_mul2.stderr761log plain
-rw-r--r--unchecked_shl.rs165log plain
-rw-r--r--unchecked_shl.stderr718log plain
-rw-r--r--unchecked_shl2.rs200log plain
-rw-r--r--unchecked_shl2.stderr749log plain
-rw-r--r--unchecked_shr.rs168log plain
-rw-r--r--unchecked_shr.stderr723log plain
-rw-r--r--unchecked_sub1.rs135log plain
-rw-r--r--unchecked_sub1.stderr739log plain
-rw-r--r--unchecked_sub2.rs141log plain
-rw-r--r--unchecked_sub2.stderr751log plain
-rw-r--r--uninit_uninhabited_type.rs167log plain
-rw-r--r--uninit_uninhabited_type.stderr796log plain
-rw-r--r--write_bytes_overflow.rs226log plain
-rw-r--r--write_bytes_overflow.stderr843log plain
-rw-r--r--zero_fn_ptr.rs138log plain
-rw-r--r--zero_fn_ptr.stderr758log plain