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--	1390	alias_through_mutation.stderr	blob \| history \| raw
-rw-r--r--	548	aliasing_mut1.rs	blob \| history \| raw
-rw-r--r--	1439	aliasing_mut1.stderr	blob \| history \| raw
-rw-r--r--	422	aliasing_mut2.rs	blob \| history \| raw
-rw-r--r--	1372	aliasing_mut2.stderr	blob \| history \| raw
-rw-r--r--	427	aliasing_mut3.rs	blob \| history \| raw
-rw-r--r--	1605	aliasing_mut3.stderr	blob \| history \| raw
-rw-r--r--	518	aliasing_mut4.rs	blob \| history \| raw
-rw-r--r--	1404	aliasing_mut4.stderr	blob \| history \| raw
-rw-r--r--	658	box_exclusive_violation1.rs	blob \| history \| raw
-rw-r--r--	1731	box_exclusive_violation1.stderr	blob \| history \| raw
-rw-r--r--	399	buggy_as_mut_slice.rs	blob \| history \| raw
-rw-r--r--	1418	buggy_as_mut_slice.stderr	blob \| history \| raw
-rw-r--r--	668	buggy_split_at_mut.rs	blob \| history \| raw
-rw-r--r--	1558	buggy_split_at_mut.stderr	blob \| history \| raw
-rw-r--r--	317	deallocate_against_protector1.rs	blob \| history \| raw
-rw-r--r--	2158	deallocate_against_protector1.stderr	blob \| history \| raw
-rw-r--r--	435	deallocate_against_protector2.rs	blob \| history \| raw
-rw-r--r--	2226	deallocate_against_protector2.stderr	blob \| history \| raw
-rw-r--r--	1013	disable_mut_does_not_merge_srw.rs	blob \| history \| raw
-rw-r--r--	1400	disable_mut_does_not_merge_srw.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--	1376	fnentry_invalidation.stderr	blob \| history \| raw
-rw-r--r--	597	fnentry_invalidation2.rs	blob \| history \| raw
-rw-r--r--	1423	fnentry_invalidation2.stderr	blob \| history \| raw
-rw-r--r--	542	illegal_read1.rs	blob \| history \| raw
-rw-r--r--	1452	illegal_read1.stderr	blob \| history \| raw
-rw-r--r--	693	illegal_read2.rs	blob \| history \| raw
-rw-r--r--	1461	illegal_read2.stderr	blob \| history \| raw
-rw-r--r--	987	illegal_read3.rs	blob \| history \| raw
-rw-r--r--	1345	illegal_read3.stderr	blob \| history \| raw
-rw-r--r--	410	illegal_read4.rs	blob \| history \| raw
-rw-r--r--	1472	illegal_read4.stderr	blob \| history \| raw
-rw-r--r--	812	illegal_read5.rs	blob \| history \| raw
-rw-r--r--	1468	illegal_read5.stderr	blob \| history \| raw
-rw-r--r--	352	illegal_read6.rs	blob \| history \| raw
-rw-r--r--	1359	illegal_read6.stderr	blob \| history \| raw
-rw-r--r--	911	illegal_read7.rs	blob \| history \| raw
-rw-r--r--	1424	illegal_read7.stderr	blob \| history \| raw
-rw-r--r--	480	illegal_read8.rs	blob \| history \| raw
-rw-r--r--	1390	illegal_read8.stderr	blob \| history \| raw
-rw-r--r--	667	illegal_read_despite_exposed1.rs	blob \| history \| raw
-rw-r--r--	1432	illegal_read_despite_exposed1.stderr	blob \| history \| raw
-rw-r--r--	914	illegal_read_despite_exposed2.rs	blob \| history \| raw
-rw-r--r--	1445	illegal_read_despite_exposed2.stderr	blob \| history \| raw
-rw-r--r--	278	illegal_write1.rs	blob \| history \| raw
-rw-r--r--	1215	illegal_write1.stderr	blob \| history \| raw
-rw-r--r--	286	illegal_write2.rs	blob \| history \| raw
-rw-r--r--	1360	illegal_write2.stderr	blob \| history \| raw
-rw-r--r--	355	illegal_write3.rs	blob \| history \| raw
-rw-r--r--	1202	illegal_write3.stderr	blob \| history \| raw
-rw-r--r--	621	illegal_write4.rs	blob \| history \| raw
-rw-r--r--	1464	illegal_write4.stderr	blob \| history \| raw
-rw-r--r--	486	illegal_write5.rs	blob \| history \| raw
-rw-r--r--	1346	illegal_write5.stderr	blob \| history \| raw
-rw-r--r--	276	illegal_write6.rs	blob \| history \| raw
-rw-r--r--	1320	illegal_write6.stderr	blob \| history \| raw
-rw-r--r--	658	illegal_write_despite_exposed1.rs	blob \| history \| raw
-rw-r--r--	1436	illegal_write_despite_exposed1.stderr	blob \| history \| raw
-rw-r--r--	569	interior_mut1.rs	blob \| history \| raw
-rw-r--r--	1513	interior_mut1.stderr	blob \| history \| raw
-rw-r--r--	1092	interior_mut2.rs	blob \| history \| raw
-rw-r--r--	1496	interior_mut2.stderr	blob \| history \| raw
-rw-r--r--	412	invalidate_against_protector1.rs	blob \| history \| raw
-rw-r--r--	1468	invalidate_against_protector1.stderr	blob \| history \| raw
-rw-r--r--	405	invalidate_against_protector2.rs	blob \| history \| raw
-rw-r--r--	1466	invalidate_against_protector2.stderr	blob \| history \| raw
-rw-r--r--	440	invalidate_against_protector3.rs	blob \| history \| raw
-rw-r--r--	1515	invalidate_against_protector3.stderr	blob \| history \| raw
-rw-r--r--	204	issue-miri-1050-1.rs	blob \| history \| raw
-rw-r--r--	1184	issue-miri-1050-1.stderr	blob \| history \| raw
-rw-r--r--	186	issue-miri-1050-2.rs	blob \| history \| raw
-rw-r--r--	1138	issue-miri-1050-2.stderr	blob \| history \| raw
-rw-r--r--	461	load_invalid_mut.rs	blob \| history \| raw
-rw-r--r--	1420	load_invalid_mut.stderr	blob \| history \| raw
-rw-r--r--	441	load_invalid_shr.rs	blob \| history \| raw
-rw-r--r--	1426	load_invalid_shr.stderr	blob \| history \| raw
-rw-r--r--	649	mut_exclusive_violation1.rs	blob \| history \| raw
-rw-r--r--	1721	mut_exclusive_violation1.stderr	blob \| history \| raw
-rw-r--r--	321	mut_exclusive_violation2.rs	blob \| history \| raw
-rw-r--r--	1418	mut_exclusive_violation2.stderr	blob \| history \| raw
-rw-r--r--	487	newtype_retagging.rs	blob \| history \| raw
-rw-r--r--	2135	newtype_retagging.stderr	blob \| history \| raw
-rw-r--r--	276	outdated_local.rs	blob \| history \| raw
-rw-r--r--	1430	outdated_local.stderr	blob \| history \| raw
-rw-r--r--	337	pass_invalid_mut.rs	blob \| history \| raw
-rw-r--r--	1396	pass_invalid_mut.stderr	blob \| history \| raw
-rw-r--r--	313	pass_invalid_shr.rs	blob \| history \| raw
-rw-r--r--	1366	pass_invalid_shr.stderr	blob \| history \| raw
-rw-r--r--	481	pointer_smuggling.rs	blob \| history \| raw
-rw-r--r--	1583	pointer_smuggling.stderr	blob \| history \| raw
-rw-r--r--	500	raw_tracking.rs	blob \| history \| raw
-rw-r--r--	1357	raw_tracking.stderr	blob \| history \| raw
-rw-r--r--	353	return_invalid_mut.rs	blob \| history \| raw
-rw-r--r--	1510	return_invalid_mut.stderr	blob \| history \| raw
-rw-r--r--	581	return_invalid_mut_option.rs	blob \| history \| raw
-rw-r--r--	1405	return_invalid_mut_option.stderr	blob \| history \| raw
-rw-r--r--	466	return_invalid_mut_tuple.rs	blob \| history \| raw
-rw-r--r--	1417	return_invalid_mut_tuple.stderr	blob \| history \| raw
-rw-r--r--	335	return_invalid_shr.rs	blob \| history \| raw
-rw-r--r--	1520	return_invalid_shr.stderr	blob \| history \| raw
-rw-r--r--	516	return_invalid_shr_option.rs	blob \| history \| raw
-rw-r--r--	1457	return_invalid_shr_option.stderr	blob \| history \| raw
-rw-r--r--	448	return_invalid_shr_tuple.rs	blob \| history \| raw
-rw-r--r--	1427	return_invalid_shr_tuple.stderr	blob \| history \| raw
-rw-r--r--	547	shared_rw_borrows_are_weak1.rs	blob \| history \| raw
-rw-r--r--	1477	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--	1480	shared_rw_borrows_are_weak2.stderr	blob \| history \| raw
-rw-r--r--	298	shr_frozen_violation1.rs	blob \| history \| raw
-rw-r--r--	1562	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--	1420	track_caller.stderr	blob \| history \| raw
-rw-r--r--	727	transmute-is-no-escape.rs	blob \| history \| raw
-rw-r--r--	1217	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--	1269	unescaped_static.stderr	blob \| history \| raw
-rw-r--r--	274	zst_slice.rs	blob \| history \| raw
-rw-r--r--	1569	zst_slice.stderr	blob \| history \| raw