summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/tree_borrows
ModeNameSize
-rw-r--r--alternate-read-write.rs724log plain
-rw-r--r--alternate-read-write.stderr1608log plain
-rw-r--r--children-can-alias.default.stderr719log plain
-rw-r--r--children-can-alias.rs2148log plain
-rw-r--r--children-can-alias.uniq.stderr1536log plain
-rw-r--r--error-range.rs656log plain
-rw-r--r--error-range.stderr1281log plain
-rw-r--r--fnentry_invalidation.rs833log plain
-rw-r--r--fnentry_invalidation.stderr1570log plain
-rw-r--r--outside-range.rs730log plain
-rw-r--r--outside-range.stderr1464log plain
-rw-r--r--parent_read_freezes_raw_mut.rs440log plain
-rw-r--r--parent_read_freezes_raw_mut.stderr1801log plain
-rw-r--r--pass_invalid_mut.rs751log plain
-rw-r--r--pass_invalid_mut.stderr1997log plain
-rw-r--r--protector-write-lazy.rs2072log plain
-rw-r--r--protector-write-lazy.stderr1698log plain
-rw-r--r--repeated_foreign_read_lazy_conflicted.rs733log plain
-rw-r--r--repeated_foreign_read_lazy_conflicted.stderr1756log plain
d---------reserved210log plain
-rw-r--r--reservedim_spurious_write.rs4443log plain
-rw-r--r--reservedim_spurious_write.with.stderr1867log plain
-rw-r--r--reservedim_spurious_write.without.stderr1898log plain
-rw-r--r--return_invalid_mut.rs895log plain
-rw-r--r--return_invalid_mut.stderr1899log plain
-rw-r--r--spurious_read.rs4469log plain
-rw-r--r--spurious_read.stderr2182log plain
-rw-r--r--strongly-protected.rs394log plain
-rw-r--r--strongly-protected.stderr2277log plain
-rw-r--r--subtree_traversal_skipping_diagnostics.rs1153log plain
-rw-r--r--subtree_traversal_skipping_diagnostics.stderr1540log plain
-rw-r--r--unique.default.stderr1626log plain
-rw-r--r--unique.rs881log plain
-rw-r--r--unique.uniq.stderr1906log plain
-rw-r--r--write-during-2phase.rs1100log plain
-rw-r--r--write-during-2phase.stderr1690log plain
-rw-r--r--write_to_shr.stderr1184log plain