about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/stacked_borrows
AgeCommit message (Expand)AuthorLines
2022-12-21Retag argument to `drop_in_place` unconditionallyJakob Degen-12/+5
2022-12-21Retag as FnEntry on `drop_in_place`Jakob Degen-0/+108
2022-12-20Fix span managementBen Kimock-2/+2
2022-12-16Include a Span in VClockBen Kimock-0/+20
2022-12-06Bless after rebaseOli Scherer-4/+4
2022-12-06Reintroduce the span printing in miri (plus point to spans where possible)Oli Scherer-78/+78
2022-12-06Remove now-redundant file/line info from const backtracesOli Scherer-114/+114
2022-12-03for now, do not do fake reads on non-Unpin mutable referencesRalf Jung-45/+0
2022-11-27make Stacked Borrows retags act like data racesRalf Jung-0/+102
2022-11-27!Unpin retags must still be reads, to check dereferenceableRalf Jung-0/+89
2022-11-20add a weak form of protection that justifies Box noaliasRalf Jung-27/+71
2022-10-29Stacked Borrows: make scalar field retagging the defaultRalf Jung-36/+50
2022-10-22add scalar-abi-only field retagging optionRalf Jung-1/+64
2022-09-21Don't move too far down the call stack when reporting FnEntry diagnosticsBen Kimock-2/+51
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+2697