intrinsics « fail « tests « miri « tools « src - rust

Mode	Name	Size
-rw-r--r--	assume.rs	240	log plain
-rw-r--r--	assume.stderr	657	log plain
-rw-r--r--	copy_null.rs	471	log plain
-rw-r--r--	copy_null.stderr	793	log plain
-rw-r--r--	copy_overflow.rs	220	log plain
-rw-r--r--	copy_overflow.stderr	789	log plain
-rw-r--r--	copy_overlapping.rs	436	log plain
-rw-r--r--	copy_overlapping.stderr	715	log plain
-rw-r--r--	copy_unaligned.rs	522	log plain
-rw-r--r--	copy_unaligned.stderr	769	log plain
-rw-r--r--	ctlz_nonzero.rs	251	log plain
-rw-r--r--	ctlz_nonzero.stderr	637	log plain
-rw-r--r--	cttz_nonzero.rs	251	log plain
-rw-r--r--	cttz_nonzero.stderr	637	log plain
-rw-r--r--	div-by-zero.rs	156	log plain
-rw-r--r--	div-by-zero.stderr	643	log plain
-rw-r--r--	exact_div1.rs	140	log plain
-rw-r--r--	exact_div1.stderr	719	log plain
-rw-r--r--	exact_div2.rs	190	log plain
-rw-r--r--	exact_div2.stderr	751	log plain
-rw-r--r--	exact_div3.rs	198	log plain
-rw-r--r--	exact_div3.stderr	753	log plain
-rw-r--r--	exact_div4.rs	190	log plain
-rw-r--r--	exact_div4.stderr	737	log plain
-rw-r--r--	float_to_int_32_inf1.rs	339	log plain
-rw-r--r--	float_to_int_32_inf1.stderr	869	log plain
-rw-r--r--	float_to_int_32_infneg1.rs	343	log plain
-rw-r--r--	float_to_int_32_infneg1.stderr	883	log plain
-rw-r--r--	float_to_int_32_nan.rs	334	log plain
-rw-r--r--	float_to_int_32_nan.stderr	855	log plain
-rw-r--r--	float_to_int_32_nanneg.rs	335	log plain
-rw-r--r--	float_to_int_32_nanneg.stderr	863	log plain
-rw-r--r--	float_to_int_32_neg.rs	341	log plain
-rw-r--r--	float_to_int_32_neg.stderr	865	log plain
-rw-r--r--	float_to_int_32_too_big1.rs	341	log plain
-rw-r--r--	float_to_int_32_too_big1.stderr	897	log plain
-rw-r--r--	float_to_int_32_too_big2.rs	349	log plain
-rw-r--r--	float_to_int_32_too_big2.stderr	911	log plain
-rw-r--r--	float_to_int_32_too_small1.rs	342	log plain
-rw-r--r--	float_to_int_32_too_small1.stderr	903	log plain
-rw-r--r--	float_to_int_64_inf1.rs	341	log plain
-rw-r--r--	float_to_int_64_inf1.stderr	873	log plain
-rw-r--r--	float_to_int_64_infneg1.rs	345	log plain
-rw-r--r--	float_to_int_64_infneg1.stderr	887	log plain
-rw-r--r--	float_to_int_64_infneg2.rs	345	log plain
-rw-r--r--	float_to_int_64_infneg2.stderr	887	log plain
-rw-r--r--	float_to_int_64_nan.rs	334	log plain
-rw-r--r--	float_to_int_64_nan.stderr	855	log plain
-rw-r--r--	float_to_int_64_neg.rs	347	log plain
-rw-r--r--	float_to_int_64_neg.stderr	911	log plain
-rw-r--r--	float_to_int_64_too_big1.rs	341	log plain
-rw-r--r--	float_to_int_64_too_big1.stderr	891	log plain
-rw-r--r--	float_to_int_64_too_big2.rs	350	log plain
-rw-r--r--	float_to_int_64_too_big2.stderr	933	log plain
-rw-r--r--	float_to_int_64_too_big3.rs	351	log plain
-rw-r--r--	float_to_int_64_too_big3.stderr	935	log plain
-rw-r--r--	float_to_int_64_too_big4.rs	344	log plain
-rw-r--r--	float_to_int_64_too_big4.stderr	921	log plain
-rw-r--r--	float_to_int_64_too_big5.rs	372	log plain
-rw-r--r--	float_to_int_64_too_big5.stderr	977	log plain
-rw-r--r--	float_to_int_64_too_big6.rs	336	log plain
-rw-r--r--	float_to_int_64_too_big6.stderr	907	log plain
-rw-r--r--	float_to_int_64_too_big7.rs	336	log plain
-rw-r--r--	float_to_int_64_too_big7.stderr	909	log plain
-rw-r--r--	float_to_int_64_too_small1.rs	342	log plain
-rw-r--r--	float_to_int_64_too_small1.stderr	899	log plain
-rw-r--r--	float_to_int_64_too_small2.rs	351	log plain
-rw-r--r--	float_to_int_64_too_small2.stderr	941	log plain
-rw-r--r--	float_to_int_64_too_small3.rs	373	log plain
-rw-r--r--	float_to_int_64_too_small3.stderr	985	log plain
-rw-r--r--	out_of_bounds_ptr_1.rs	291	log plain
-rw-r--r--	out_of_bounds_ptr_1.stderr	976	log plain
-rw-r--r--	out_of_bounds_ptr_2.rs	209	log plain
-rw-r--r--	out_of_bounds_ptr_2.stderr	713	log plain
-rw-r--r--	out_of_bounds_ptr_3.rs	217	log plain
-rw-r--r--	out_of_bounds_ptr_3.stderr	978	log plain
-rw-r--r--	ptr_offset_0_plus_0.rs	355	log plain
-rw-r--r--	ptr_offset_0_plus_0.stderr	846	log plain
-rw-r--r--	ptr_offset_from_oob.rs	298	log plain
-rw-r--r--	ptr_offset_from_oob.stderr	807	log plain
-rw-r--r--	ptr_offset_from_unsigned_neg.rs	238	log plain
-rw-r--r--	ptr_offset_from_unsigned_neg.stderr	833	log plain
-rw-r--r--	ptr_offset_int_plus_int.rs	217	log plain
-rw-r--r--	ptr_offset_int_plus_int.stderr	825	log plain
-rw-r--r--	ptr_offset_int_plus_ptr.rs	285	log plain
-rw-r--r--	ptr_offset_int_plus_ptr.stderr	847	log plain
-rw-r--r--	ptr_offset_overflow.rs	167	log plain
-rw-r--r--	ptr_offset_overflow.stderr	719	log plain
-rw-r--r--	ptr_offset_ptr_plus_0.rs	365	log plain
-rw-r--r--	ptr_offset_ptr_plus_0.stderr	1085	log plain
-rw-r--r--	raw_eq_on_ptr.rs	199	log plain
-rw-r--r--	raw_eq_on_ptr.stderr	659	log plain
-rw-r--r--	rem-by-zero.rs	189	log plain
-rw-r--r--	rem-by-zero.stderr	707	log plain
-rw-r--r--	simd-div-by-zero.rs	358	log plain
-rw-r--r--	simd-div-by-zero.stderr	619	log plain
-rw-r--r--	simd-div-overflow.rs	377	log plain
-rw-r--r--	simd-div-overflow.stderr	685	log plain
-rw-r--r--	simd-float-to-int.rs	225	log plain
-rw-r--r--	simd-float-to-int.stderr	905	log plain
-rw-r--r--	simd-gather.rs	361	log plain
-rw-r--r--	simd-gather.stderr	925	log plain
-rw-r--r--	simd-reduce-invalid-bool.rs	333	log plain
-rw-r--r--	simd-reduce-invalid-bool.stderr	731	log plain
-rw-r--r--	simd-rem-by-zero.rs	390	log plain
-rw-r--r--	simd-rem-by-zero.stderr	683	log plain
-rw-r--r--	simd-scatter.rs	437	log plain
-rw-r--r--	simd-scatter.stderr	1291	log plain
-rw-r--r--	simd-select-bitmask-invalid.rs	428	log plain
-rw-r--r--	simd-select-bitmask-invalid.stderr	823	log plain
-rw-r--r--	simd-select-invalid-bool.rs	358	log plain
-rw-r--r--	simd-select-invalid-bool.stderr	735	log plain
-rw-r--r--	simd-shl-too-far.rs	377	log plain
-rw-r--r--	simd-shl-too-far.stderr	693	log plain
-rw-r--r--	simd-shr-too-far.rs	376	log plain
-rw-r--r--	simd-shr-too-far.stderr	691	log plain
-rw-r--r--	unchecked_add1.rs	166	log plain
-rw-r--r--	unchecked_add1.stderr	715	log plain
-rw-r--r--	unchecked_add2.rs	169	log plain
-rw-r--r--	unchecked_add2.stderr	721	log plain
-rw-r--r--	unchecked_div1.rs	212	log plain
-rw-r--r--	unchecked_div1.stderr	739	log plain
-rw-r--r--	unchecked_mul1.rs	164	log plain
-rw-r--r--	unchecked_mul1.stderr	713	log plain
-rw-r--r--	unchecked_mul2.rs	170	log plain
-rw-r--r--	unchecked_mul2.stderr	725	log plain
-rw-r--r--	unchecked_shl.rs	165	log plain
-rw-r--r--	unchecked_shl.stderr	693	log plain
-rw-r--r--	unchecked_shl2.rs	200	log plain
-rw-r--r--	unchecked_shl2.stderr	725	log plain
-rw-r--r--	unchecked_shr.rs	168	log plain
-rw-r--r--	unchecked_shr.stderr	699	log plain
-rw-r--r--	unchecked_sub1.rs	159	log plain
-rw-r--r--	unchecked_sub1.stderr	703	log plain
-rw-r--r--	unchecked_sub2.rs	165	log plain
-rw-r--r--	unchecked_sub2.stderr	715	log plain
-rw-r--r--	uninit_uninhabited_type.rs	418	log plain
-rw-r--r--	uninit_uninhabited_type.stderr	1334	log plain
-rw-r--r--	write_bytes_null.rs	320	log plain
-rw-r--r--	write_bytes_null.stderr	819	log plain
-rw-r--r--	write_bytes_overflow.rs	226	log plain
-rw-r--r--	write_bytes_overflow.stderr	823	log plain
-rw-r--r--	zero_fn_ptr.rs	390	log plain
-rw-r--r--	zero_fn_ptr.stderr	1331	log plain