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

drwxr-xr-x		..
-rw-r--r--	515	alias_through_mutation.rs	blob \| history \| raw
-rw-r--r--	1410	alias_through_mutation.stderr	blob \| history \| raw
-rw-r--r--	548	aliasing_mut1.rs	blob \| history \| raw
-rw-r--r--	1446	aliasing_mut1.stderr	blob \| history \| raw
-rw-r--r--	422	aliasing_mut2.rs	blob \| history \| raw
-rw-r--r--	1379	aliasing_mut2.stderr	blob \| history \| raw
-rw-r--r--	427	aliasing_mut3.rs	blob \| history \| raw
-rw-r--r--	1594	aliasing_mut3.stderr	blob \| history \| raw
-rw-r--r--	518	aliasing_mut4.rs	blob \| history \| raw
-rw-r--r--	1411	aliasing_mut4.stderr	blob \| history \| raw
-rw-r--r--	658	box_exclusive_violation1.rs	blob \| history \| raw
-rw-r--r--	1667	box_exclusive_violation1.stderr	blob \| history \| raw
-rw-r--r--	318	box_noalias_violation.rs	blob \| history \| raw
-rw-r--r--	1425	box_noalias_violation.stderr	blob \| history \| raw
-rw-r--r--	399	buggy_as_mut_slice.rs	blob \| history \| raw
-rw-r--r--	1438	buggy_as_mut_slice.stderr	blob \| history \| raw
-rw-r--r--	668	buggy_split_at_mut.rs	blob \| history \| raw
-rw-r--r--	1578	buggy_split_at_mut.stderr	blob \| history \| raw
-rw-r--r--	326	deallocate_against_protector1.rs	blob \| history \| raw
-rw-r--r--	2035	deallocate_against_protector1.stderr	blob \| history \| raw
-rw-r--r--	444	deallocate_against_protector2.rs	blob \| history \| raw
-rw-r--r--	2103	deallocate_against_protector2.stderr	blob \| history \| raw
-rw-r--r--	1013	disable_mut_does_not_merge_srw.rs	blob \| history \| raw
-rw-r--r--	1420	disable_mut_does_not_merge_srw.stderr	blob \| history \| raw
-rw-r--r--	744	drop_in_place_protector.rs	blob \| history \| raw
-rw-r--r--	1897	drop_in_place_protector.stderr	blob \| history \| raw
-rw-r--r--	395	drop_in_place_retag.rs	blob \| history \| raw
-rw-r--r--	1610	drop_in_place_retag.stderr	blob \| history \| raw
-rw-r--r--	544	exposed_only_ro.rs	blob \| history \| raw
-rw-r--r--	1030	exposed_only_ro.stderr	blob \| history \| raw
-rw-r--r--	578	fnentry_invalidation.rs	blob \| history \| raw
-rw-r--r--	1396	fnentry_invalidation.stderr	blob \| history \| raw
-rw-r--r--	597	fnentry_invalidation2.rs	blob \| history \| raw
-rw-r--r--	1443	fnentry_invalidation2.stderr	blob \| history \| raw
-rw-r--r--	470	illegal_dealloc1.rs	blob \| history \| raw
-rw-r--r--	1550	illegal_dealloc1.stderr	blob \| history \| raw
-rw-r--r--	542	illegal_read1.rs	blob \| history \| raw
-rw-r--r--	1472	illegal_read1.stderr	blob \| history \| raw
-rw-r--r--	693	illegal_read2.rs	blob \| history \| raw
-rw-r--r--	1481	illegal_read2.stderr	blob \| history \| raw
-rw-r--r--	987	illegal_read3.rs	blob \| history \| raw
-rw-r--r--	1365	illegal_read3.stderr	blob \| history \| raw
-rw-r--r--	410	illegal_read4.rs	blob \| history \| raw
-rw-r--r--	1492	illegal_read4.stderr	blob \| history \| raw
-rw-r--r--	812	illegal_read5.rs	blob \| history \| raw
-rw-r--r--	1488	illegal_read5.stderr	blob \| history \| raw
-rw-r--r--	352	illegal_read6.rs	blob \| history \| raw
-rw-r--r--	1379	illegal_read6.stderr	blob \| history \| raw
-rw-r--r--	911	illegal_read7.rs	blob \| history \| raw
-rw-r--r--	1444	illegal_read7.stderr	blob \| history \| raw
-rw-r--r--	480	illegal_read8.rs	blob \| history \| raw
-rw-r--r--	1410	illegal_read8.stderr	blob \| history \| raw
-rw-r--r--	667	illegal_read_despite_exposed1.rs	blob \| history \| raw
-rw-r--r--	1452	illegal_read_despite_exposed1.stderr	blob \| history \| raw
-rw-r--r--	914	illegal_read_despite_exposed2.rs	blob \| history \| raw
-rw-r--r--	1465	illegal_read_despite_exposed2.stderr	blob \| history \| raw
-rw-r--r--	278	illegal_write1.rs	blob \| history \| raw
-rw-r--r--	1235	illegal_write1.stderr	blob \| history \| raw
-rw-r--r--	286	illegal_write2.rs	blob \| history \| raw
-rw-r--r--	1380	illegal_write2.stderr	blob \| history \| raw
-rw-r--r--	355	illegal_write3.rs	blob \| history \| raw
-rw-r--r--	1222	illegal_write3.stderr	blob \| history \| raw
-rw-r--r--	621	illegal_write4.rs	blob \| history \| raw
-rw-r--r--	1484	illegal_write4.stderr	blob \| history \| raw
-rw-r--r--	486	illegal_write5.rs	blob \| history \| raw
-rw-r--r--	1366	illegal_write5.stderr	blob \| history \| raw
-rw-r--r--	285	illegal_write6.rs	blob \| history \| raw
-rw-r--r--	1326	illegal_write6.stderr	blob \| history \| raw
-rw-r--r--	658	illegal_write_despite_exposed1.rs	blob \| history \| raw
-rw-r--r--	1456	illegal_write_despite_exposed1.stderr	blob \| history \| raw
-rw-r--r--	569	interior_mut1.rs	blob \| history \| raw
-rw-r--r--	1533	interior_mut1.stderr	blob \| history \| raw
-rw-r--r--	1092	interior_mut2.rs	blob \| history \| raw
-rw-r--r--	1516	interior_mut2.stderr	blob \| history \| raw
-rw-r--r--	412	invalidate_against_protector1.rs	blob \| history \| raw
-rw-r--r--	1459	invalidate_against_protector1.stderr	blob \| history \| raw
-rw-r--r--	405	invalidate_against_protector2.rs	blob \| history \| raw
-rw-r--r--	1457	invalidate_against_protector2.stderr	blob \| history \| raw
-rw-r--r--	440	invalidate_against_protector3.rs	blob \| history \| raw
-rw-r--r--	1506	invalidate_against_protector3.stderr	blob \| history \| raw
-rw-r--r--	204	issue-miri-1050-1.rs	blob \| history \| raw
-rw-r--r--	1149	issue-miri-1050-1.stderr	blob \| history \| raw
-rw-r--r--	186	issue-miri-1050-2.rs	blob \| history \| raw
-rw-r--r--	1103	issue-miri-1050-2.stderr	blob \| history \| raw
-rw-r--r--	461	load_invalid_mut.rs	blob \| history \| raw
-rw-r--r--	1440	load_invalid_mut.stderr	blob \| history \| raw
-rw-r--r--	441	load_invalid_shr.rs	blob \| history \| raw
-rw-r--r--	1446	load_invalid_shr.stderr	blob \| history \| raw
-rw-r--r--	649	mut_exclusive_violation1.rs	blob \| history \| raw
-rw-r--r--	1657	mut_exclusive_violation1.stderr	blob \| history \| raw
-rw-r--r--	321	mut_exclusive_violation2.rs	blob \| history \| raw
-rw-r--r--	1438	mut_exclusive_violation2.stderr	blob \| history \| raw
-rw-r--r--	496	newtype_pair_retagging.rs	blob \| history \| raw
-rw-r--r--	2101	newtype_pair_retagging.stderr	blob \| history \| raw
-rw-r--r--	458	newtype_retagging.rs	blob \| history \| raw
-rw-r--r--	2068	newtype_retagging.stderr	blob \| history \| raw
-rw-r--r--	276	outdated_local.rs	blob \| history \| raw
-rw-r--r--	1450	outdated_local.stderr	blob \| history \| raw
-rw-r--r--	337	pass_invalid_mut.rs	blob \| history \| raw
-rw-r--r--	1416	pass_invalid_mut.stderr	blob \| history \| raw
-rw-r--r--	313	pass_invalid_shr.rs	blob \| history \| raw
-rw-r--r--	1386	pass_invalid_shr.stderr	blob \| history \| raw
-rw-r--r--	481	pointer_smuggling.rs	blob \| history \| raw
-rw-r--r--	1568	pointer_smuggling.stderr	blob \| history \| raw
-rw-r--r--	500	raw_tracking.rs	blob \| history \| raw
-rw-r--r--	1377	raw_tracking.stderr	blob \| history \| raw
-rw-r--r--	719	retag_data_race_read.rs	blob \| history \| raw
-rw-r--r--	1171	retag_data_race_read.stderr	blob \| history \| raw
-rw-r--r--	724	retag_data_race_write.rs	blob \| history \| raw
-rw-r--r--	1185	retag_data_race_write.stderr	blob \| history \| raw
-rw-r--r--	353	return_invalid_mut.rs	blob \| history \| raw
-rw-r--r--	1494	return_invalid_mut.stderr	blob \| history \| raw
-rw-r--r--	494	return_invalid_mut_option.rs	blob \| history \| raw
-rw-r--r--	1512	return_invalid_mut_option.stderr	blob \| history \| raw
-rw-r--r--	382	return_invalid_mut_tuple.rs	blob \| history \| raw
-rw-r--r--	1534	return_invalid_mut_tuple.stderr	blob \| history \| raw
-rw-r--r--	335	return_invalid_shr.rs	blob \| history \| raw
-rw-r--r--	1504	return_invalid_shr.stderr	blob \| history \| raw
-rw-r--r--	429	return_invalid_shr_option.rs	blob \| history \| raw
-rw-r--r--	1566	return_invalid_shr_option.stderr	blob \| history \| raw
-rw-r--r--	364	return_invalid_shr_tuple.rs	blob \| history \| raw
-rw-r--r--	1544	return_invalid_shr_tuple.stderr	blob \| history \| raw
-rw-r--r--	547	shared_rw_borrows_are_weak1.rs	blob \| history \| raw
-rw-r--r--	1497	shared_rw_borrows_are_weak1.stderr	blob \| history \| raw
-rw-r--r--	632	shared_rw_borrows_are_weak2.rs	blob \| history \| raw
-rw-r--r--	1500	shared_rw_borrows_are_weak2.stderr	blob \| history \| raw
-rw-r--r--	298	shr_frozen_violation1.rs	blob \| history \| raw
-rw-r--r--	1504	shr_frozen_violation1.stderr	blob \| history \| raw
-rw-r--r--	196	static_memory_modification.rs	blob \| history \| raw
-rw-r--r--	736	static_memory_modification.stderr	blob \| history \| raw
-rw-r--r--	641	track_caller.rs	blob \| history \| raw
-rw-r--r--	1440	track_caller.stderr	blob \| history \| raw
-rw-r--r--	727	transmute-is-no-escape.rs	blob \| history \| raw
-rw-r--r--	1237	transmute-is-no-escape.stderr	blob \| history \| raw
-rw-r--r--	336	unescaped_local.rs	blob \| history \| raw
-rw-r--r--	1005	unescaped_local.stderr	blob \| history \| raw
-rw-r--r--	262	unescaped_static.rs	blob \| history \| raw
-rw-r--r--	1289	unescaped_static.stderr	blob \| history \| raw
-rw-r--r--	274	zst_slice.rs	blob \| history \| raw
-rw-r--r--	1562	zst_slice.stderr	blob \| history \| raw