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

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