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	1390	log plain
-rw-r--r--	aliasing_mut1.rs	548	log plain
-rw-r--r--	aliasing_mut1.stderr	1426	log plain
-rw-r--r--	aliasing_mut2.rs	422	log plain
-rw-r--r--	aliasing_mut2.stderr	1359	log plain
-rw-r--r--	aliasing_mut3.rs	427	log plain
-rw-r--r--	aliasing_mut3.stderr	1574	log plain
-rw-r--r--	aliasing_mut4.rs	518	log plain
-rw-r--r--	aliasing_mut4.stderr	1391	log plain
-rw-r--r--	box_exclusive_violation1.rs	658	log plain
-rw-r--r--	box_exclusive_violation1.stderr	1647	log plain
-rw-r--r--	box_noalias_violation.rs	318	log plain
-rw-r--r--	box_noalias_violation.stderr	1405	log plain
-rw-r--r--	buggy_as_mut_slice.rs	399	log plain
-rw-r--r--	buggy_as_mut_slice.stderr	1418	log plain
-rw-r--r--	buggy_split_at_mut.rs	668	log plain
-rw-r--r--	buggy_split_at_mut.stderr	1558	log plain
-rw-r--r--	deallocate_against_protector1.rs	326	log plain
-rw-r--r--	deallocate_against_protector1.stderr	2035	log plain
-rw-r--r--	deallocate_against_protector2.rs	444	log plain
-rw-r--r--	deallocate_against_protector2.stderr	2103	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	1400	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	1376	log plain
-rw-r--r--	fnentry_invalidation2.rs	597	log plain
-rw-r--r--	fnentry_invalidation2.stderr	1423	log plain
-rw-r--r--	illegal_dealloc1.rs	470	log plain
-rw-r--r--	illegal_dealloc1.stderr	1530	log plain
-rw-r--r--	illegal_read1.rs	542	log plain
-rw-r--r--	illegal_read1.stderr	1452	log plain
-rw-r--r--	illegal_read2.rs	693	log plain
-rw-r--r--	illegal_read2.stderr	1461	log plain
-rw-r--r--	illegal_read3.rs	987	log plain
-rw-r--r--	illegal_read3.stderr	1345	log plain
-rw-r--r--	illegal_read4.rs	410	log plain
-rw-r--r--	illegal_read4.stderr	1472	log plain
-rw-r--r--	illegal_read5.rs	812	log plain
-rw-r--r--	illegal_read5.stderr	1468	log plain
-rw-r--r--	illegal_read6.rs	352	log plain
-rw-r--r--	illegal_read6.stderr	1359	log plain
-rw-r--r--	illegal_read7.rs	911	log plain
-rw-r--r--	illegal_read7.stderr	1424	log plain
-rw-r--r--	illegal_read8.rs	480	log plain
-rw-r--r--	illegal_read8.stderr	1390	log plain
-rw-r--r--	illegal_read_despite_exposed1.rs	667	log plain
-rw-r--r--	illegal_read_despite_exposed1.stderr	1432	log plain
-rw-r--r--	illegal_read_despite_exposed2.rs	914	log plain
-rw-r--r--	illegal_read_despite_exposed2.stderr	1445	log plain
-rw-r--r--	illegal_write1.rs	278	log plain
-rw-r--r--	illegal_write1.stderr	1215	log plain
-rw-r--r--	illegal_write2.rs	286	log plain
-rw-r--r--	illegal_write2.stderr	1360	log plain
-rw-r--r--	illegal_write3.rs	355	log plain
-rw-r--r--	illegal_write3.stderr	1202	log plain
-rw-r--r--	illegal_write4.rs	621	log plain
-rw-r--r--	illegal_write4.stderr	1464	log plain
-rw-r--r--	illegal_write5.rs	486	log plain
-rw-r--r--	illegal_write5.stderr	1346	log plain
-rw-r--r--	illegal_write6.rs	285	log plain
-rw-r--r--	illegal_write6.stderr	1306	log plain
-rw-r--r--	illegal_write_despite_exposed1.rs	658	log plain
-rw-r--r--	illegal_write_despite_exposed1.stderr	1436	log plain
-rw-r--r--	interior_mut1.rs	569	log plain
-rw-r--r--	interior_mut1.stderr	1513	log plain
-rw-r--r--	interior_mut2.rs	1092	log plain
-rw-r--r--	interior_mut2.stderr	1496	log plain
-rw-r--r--	invalidate_against_protector1.rs	412	log plain
-rw-r--r--	invalidate_against_protector1.stderr	1439	log plain
-rw-r--r--	invalidate_against_protector2.rs	405	log plain
-rw-r--r--	invalidate_against_protector2.stderr	1437	log plain
-rw-r--r--	invalidate_against_protector3.rs	440	log plain
-rw-r--r--	invalidate_against_protector3.stderr	1486	log plain
-rw-r--r--	issue-miri-1050-1.rs	204	log plain
-rw-r--r--	issue-miri-1050-1.stderr	1149	log plain
-rw-r--r--	issue-miri-1050-2.rs	186	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	1420	log plain
-rw-r--r--	load_invalid_shr.rs	441	log plain
-rw-r--r--	load_invalid_shr.stderr	1426	log plain
-rw-r--r--	mut_exclusive_violation1.rs	649	log plain
-rw-r--r--	mut_exclusive_violation1.stderr	1637	log plain
-rw-r--r--	mut_exclusive_violation2.rs	321	log plain
-rw-r--r--	mut_exclusive_violation2.stderr	1418	log plain
-rw-r--r--	newtype_pair_retagging.rs	496	log plain
-rw-r--r--	newtype_pair_retagging.stderr	2081	log plain
-rw-r--r--	newtype_retagging.rs	458	log plain
-rw-r--r--	newtype_retagging.stderr	2048	log plain
-rw-r--r--	outdated_local.rs	276	log plain
-rw-r--r--	outdated_local.stderr	1430	log plain
-rw-r--r--	pass_invalid_mut.rs	337	log plain
-rw-r--r--	pass_invalid_mut.stderr	1396	log plain
-rw-r--r--	pass_invalid_shr.rs	313	log plain
-rw-r--r--	pass_invalid_shr.stderr	1366	log plain
-rw-r--r--	pointer_smuggling.rs	481	log plain
-rw-r--r--	pointer_smuggling.stderr	1548	log plain
-rw-r--r--	raw_tracking.rs	500	log plain
-rw-r--r--	raw_tracking.stderr	1357	log plain
-rw-r--r--	retag_data_race_read.rs	711	log plain
-rw-r--r--	retag_data_race_read.stderr	952	log plain
-rw-r--r--	retag_data_race_write.rs	716	log plain
-rw-r--r--	retag_data_race_write.stderr	957	log plain
-rw-r--r--	return_invalid_mut.rs	353	log plain
-rw-r--r--	return_invalid_mut.stderr	1474	log plain
-rw-r--r--	return_invalid_mut_option.rs	494	log plain
-rw-r--r--	return_invalid_mut_option.stderr	1492	log plain
-rw-r--r--	return_invalid_mut_tuple.rs	382	log plain
-rw-r--r--	return_invalid_mut_tuple.stderr	1514	log plain
-rw-r--r--	return_invalid_shr.rs	335	log plain
-rw-r--r--	return_invalid_shr.stderr	1484	log plain
-rw-r--r--	return_invalid_shr_option.rs	429	log plain
-rw-r--r--	return_invalid_shr_option.stderr	1546	log plain
-rw-r--r--	return_invalid_shr_tuple.rs	364	log plain
-rw-r--r--	return_invalid_shr_tuple.stderr	1524	log plain
-rw-r--r--	shared_rw_borrows_are_weak1.rs	547	log plain
-rw-r--r--	shared_rw_borrows_are_weak1.stderr	1477	log plain
-rw-r--r--	shared_rw_borrows_are_weak2.rs	632	log plain
-rw-r--r--	shared_rw_borrows_are_weak2.stderr	1480	log plain
-rw-r--r--	shr_frozen_violation1.rs	298	log plain
-rw-r--r--	shr_frozen_violation1.stderr	1484	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	1420	log plain
-rw-r--r--	transmute-is-no-escape.rs	727	log plain
-rw-r--r--	transmute-is-no-escape.stderr	1217	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	1269	log plain
-rw-r--r--	zst_slice.rs	274	log plain
-rw-r--r--	zst_slice.stderr	1542	log plain