git.lizzy.rs Git - rust.git/tree - src/tools/miri/tests/fail/intrinsics/

drwxr-xr-x		..
-rw-r--r--	240	assume.rs	blob \| history \| raw
-rw-r--r--	655	assume.stderr	blob \| history \| raw
-rw-r--r--	471	copy_null.rs	blob \| history \| raw
-rw-r--r--	791	copy_null.stderr	blob \| history \| raw
-rw-r--r--	220	copy_overflow.rs	blob \| history \| raw
-rw-r--r--	787	copy_overflow.stderr	blob \| history \| raw
-rw-r--r--	434	copy_overlapping.rs	blob \| history \| raw
-rw-r--r--	709	copy_overlapping.stderr	blob \| history \| raw
-rw-r--r--	522	copy_unaligned.rs	blob \| history \| raw
-rw-r--r--	767	copy_unaligned.stderr	blob \| history \| raw
-rw-r--r--	251	ctlz_nonzero.rs	blob \| history \| raw
-rw-r--r--	635	ctlz_nonzero.stderr	blob \| history \| raw
-rw-r--r--	251	cttz_nonzero.rs	blob \| history \| raw
-rw-r--r--	635	cttz_nonzero.stderr	blob \| history \| raw
-rw-r--r--	156	div-by-zero.rs	blob \| history \| raw
-rw-r--r--	641	div-by-zero.stderr	blob \| history \| raw
-rw-r--r--	139	exact_div1.rs	blob \| history \| raw
-rw-r--r--	717	exact_div1.stderr	blob \| history \| raw
-rw-r--r--	189	exact_div2.rs	blob \| history \| raw
-rw-r--r--	749	exact_div2.stderr	blob \| history \| raw
-rw-r--r--	197	exact_div3.rs	blob \| history \| raw
-rw-r--r--	751	exact_div3.stderr	blob \| history \| raw
-rw-r--r--	189	exact_div4.rs	blob \| history \| raw
-rw-r--r--	735	exact_div4.stderr	blob \| history \| raw
-rw-r--r--	339	float_to_int_32_inf1.rs	blob \| history \| raw
-rw-r--r--	859	float_to_int_32_inf1.stderr	blob \| history \| raw
-rw-r--r--	343	float_to_int_32_infneg1.rs	blob \| history \| raw
-rw-r--r--	873	float_to_int_32_infneg1.stderr	blob \| history \| raw
-rw-r--r--	334	float_to_int_32_nan.rs	blob \| history \| raw
-rw-r--r--	845	float_to_int_32_nan.stderr	blob \| history \| raw
-rw-r--r--	335	float_to_int_32_nanneg.rs	blob \| history \| raw
-rw-r--r--	853	float_to_int_32_nanneg.stderr	blob \| history \| raw
-rw-r--r--	341	float_to_int_32_neg.rs	blob \| history \| raw
-rw-r--r--	857	float_to_int_32_neg.stderr	blob \| history \| raw
-rw-r--r--	341	float_to_int_32_too_big1.rs	blob \| history \| raw
-rw-r--r--	889	float_to_int_32_too_big1.stderr	blob \| history \| raw
-rw-r--r--	349	float_to_int_32_too_big2.rs	blob \| history \| raw
-rw-r--r--	903	float_to_int_32_too_big2.stderr	blob \| history \| raw
-rw-r--r--	342	float_to_int_32_too_small1.rs	blob \| history \| raw
-rw-r--r--	895	float_to_int_32_too_small1.stderr	blob \| history \| raw
-rw-r--r--	341	float_to_int_64_inf1.rs	blob \| history \| raw
-rw-r--r--	863	float_to_int_64_inf1.stderr	blob \| history \| raw
-rw-r--r--	345	float_to_int_64_infneg1.rs	blob \| history \| raw
-rw-r--r--	877	float_to_int_64_infneg1.stderr	blob \| history \| raw
-rw-r--r--	345	float_to_int_64_infneg2.rs	blob \| history \| raw
-rw-r--r--	877	float_to_int_64_infneg2.stderr	blob \| history \| raw
-rw-r--r--	334	float_to_int_64_nan.rs	blob \| history \| raw
-rw-r--r--	845	float_to_int_64_nan.stderr	blob \| history \| raw
-rw-r--r--	347	float_to_int_64_neg.rs	blob \| history \| raw
-rw-r--r--	869	float_to_int_64_neg.stderr	blob \| history \| raw
-rw-r--r--	341	float_to_int_64_too_big1.rs	blob \| history \| raw
-rw-r--r--	883	float_to_int_64_too_big1.stderr	blob \| history \| raw
-rw-r--r--	350	float_to_int_64_too_big2.rs	blob \| history \| raw
-rw-r--r--	925	float_to_int_64_too_big2.stderr	blob \| history \| raw
-rw-r--r--	351	float_to_int_64_too_big3.rs	blob \| history \| raw
-rw-r--r--	927	float_to_int_64_too_big3.stderr	blob \| history \| raw
-rw-r--r--	344	float_to_int_64_too_big4.rs	blob \| history \| raw
-rw-r--r--	913	float_to_int_64_too_big4.stderr	blob \| history \| raw
-rw-r--r--	372	float_to_int_64_too_big5.rs	blob \| history \| raw
-rw-r--r--	969	float_to_int_64_too_big5.stderr	blob \| history \| raw
-rw-r--r--	336	float_to_int_64_too_big6.rs	blob \| history \| raw
-rw-r--r--	899	float_to_int_64_too_big6.stderr	blob \| history \| raw
-rw-r--r--	336	float_to_int_64_too_big7.rs	blob \| history \| raw
-rw-r--r--	901	float_to_int_64_too_big7.stderr	blob \| history \| raw
-rw-r--r--	342	float_to_int_64_too_small1.rs	blob \| history \| raw
-rw-r--r--	891	float_to_int_64_too_small1.stderr	blob \| history \| raw
-rw-r--r--	351	float_to_int_64_too_small2.rs	blob \| history \| raw
-rw-r--r--	933	float_to_int_64_too_small2.stderr	blob \| history \| raw
-rw-r--r--	373	float_to_int_64_too_small3.rs	blob \| history \| raw
-rw-r--r--	977	float_to_int_64_too_small3.stderr	blob \| history \| raw
-rw-r--r--	291	out_of_bounds_ptr_1.rs	blob \| history \| raw
-rw-r--r--	835	out_of_bounds_ptr_1.stderr	blob \| history \| raw
-rw-r--r--	209	out_of_bounds_ptr_2.rs	blob \| history \| raw
-rw-r--r--	711	out_of_bounds_ptr_2.stderr	blob \| history \| raw
-rw-r--r--	217	out_of_bounds_ptr_3.rs	blob \| history \| raw
-rw-r--r--	837	out_of_bounds_ptr_3.stderr	blob \| history \| raw
-rw-r--r--	166	overflowing-unchecked-rsh.rs	blob \| history \| raw
-rw-r--r--	721	overflowing-unchecked-rsh.stderr	blob \| history \| raw
-rw-r--r--	355	ptr_offset_0_plus_0.rs	blob \| history \| raw
-rw-r--r--	844	ptr_offset_0_plus_0.stderr	blob \| history \| raw
-rw-r--r--	298	ptr_offset_from_oob.rs	blob \| history \| raw
-rw-r--r--	801	ptr_offset_from_oob.stderr	blob \| history \| raw
-rw-r--r--	238	ptr_offset_from_unsigned_neg.rs	blob \| history \| raw
-rw-r--r--	831	ptr_offset_from_unsigned_neg.stderr	blob \| history \| raw
-rw-r--r--	217	ptr_offset_int_plus_int.rs	blob \| history \| raw
-rw-r--r--	823	ptr_offset_int_plus_int.stderr	blob \| history \| raw
-rw-r--r--	285	ptr_offset_int_plus_ptr.rs	blob \| history \| raw
-rw-r--r--	845	ptr_offset_int_plus_ptr.stderr	blob \| history \| raw
-rw-r--r--	167	ptr_offset_overflow.rs	blob \| history \| raw
-rw-r--r--	717	ptr_offset_overflow.stderr	blob \| history \| raw
-rw-r--r--	365	ptr_offset_ptr_plus_0.rs	blob \| history \| raw
-rw-r--r--	890	ptr_offset_ptr_plus_0.stderr	blob \| history \| raw
-rw-r--r--	199	raw_eq_on_ptr.rs	blob \| history \| raw
-rw-r--r--	657	raw_eq_on_ptr.stderr	blob \| history \| raw
-rw-r--r--	189	rem-by-zero.rs	blob \| history \| raw
-rw-r--r--	705	rem-by-zero.stderr	blob \| history \| raw
-rw-r--r--	358	simd-div-by-zero.rs	blob \| history \| raw
-rw-r--r--	617	simd-div-by-zero.stderr	blob \| history \| raw
-rw-r--r--	377	simd-div-overflow.rs	blob \| history \| raw
-rw-r--r--	683	simd-div-overflow.stderr	blob \| history \| raw
-rw-r--r--	224	simd-float-to-int.rs	blob \| history \| raw
-rw-r--r--	1218	simd-float-to-int.stderr	blob \| history \| raw
-rw-r--r--	369	simd-gather.rs	blob \| history \| raw
-rw-r--r--	1285	simd-gather.stderr	blob \| history \| raw
-rw-r--r--	333	simd-reduce-invalid-bool.rs	blob \| history \| raw
-rw-r--r--	729	simd-reduce-invalid-bool.stderr	blob \| history \| raw
-rw-r--r--	390	simd-rem-by-zero.rs	blob \| history \| raw
-rw-r--r--	681	simd-rem-by-zero.stderr	blob \| history \| raw
-rw-r--r--	432	simd-scatter.rs	blob \| history \| raw
-rw-r--r--	1278	simd-scatter.stderr	blob \| history \| raw
-rw-r--r--	428	simd-select-bitmask-invalid.rs	blob \| history \| raw
-rw-r--r--	821	simd-select-bitmask-invalid.stderr	blob \| history \| raw
-rw-r--r--	358	simd-select-invalid-bool.rs	blob \| history \| raw
-rw-r--r--	733	simd-select-invalid-bool.stderr	blob \| history \| raw
-rw-r--r--	377	simd-shl-too-far.rs	blob \| history \| raw
-rw-r--r--	691	simd-shl-too-far.stderr	blob \| history \| raw
-rw-r--r--	376	simd-shr-too-far.rs	blob \| history \| raw
-rw-r--r--	689	simd-shr-too-far.stderr	blob \| history \| raw
-rw-r--r--	166	unchecked_add1.rs	blob \| history \| raw
-rw-r--r--	713	unchecked_add1.stderr	blob \| history \| raw
-rw-r--r--	169	unchecked_add2.rs	blob \| history \| raw
-rw-r--r--	719	unchecked_add2.stderr	blob \| history \| raw
-rw-r--r--	212	unchecked_div1.rs	blob \| history \| raw
-rw-r--r--	737	unchecked_div1.stderr	blob \| history \| raw
-rw-r--r--	164	unchecked_mul1.rs	blob \| history \| raw
-rw-r--r--	711	unchecked_mul1.stderr	blob \| history \| raw
-rw-r--r--	170	unchecked_mul2.rs	blob \| history \| raw
-rw-r--r--	723	unchecked_mul2.stderr	blob \| history \| raw
-rw-r--r--	159	unchecked_sub1.rs	blob \| history \| raw
-rw-r--r--	701	unchecked_sub1.stderr	blob \| history \| raw
-rw-r--r--	165	unchecked_sub2.rs	blob \| history \| raw
-rw-r--r--	713	unchecked_sub2.stderr	blob \| history \| raw
-rw-r--r--	184	uninit_uninhabited_type.rs	blob \| history \| raw
-rw-r--r--	520	uninit_uninhabited_type.stderr	blob \| history \| raw
-rw-r--r--	320	write_bytes_null.rs	blob \| history \| raw
-rw-r--r--	817	write_bytes_null.stderr	blob \| history \| raw
-rw-r--r--	226	write_bytes_overflow.rs	blob \| history \| raw
-rw-r--r--	821	write_bytes_overflow.stderr	blob \| history \| raw
-rw-r--r--	168	zero_fn_ptr.rs	blob \| history \| raw
-rw-r--r--	514	zero_fn_ptr.stderr	blob \| history \| raw