about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/stacked_borrows
AgeCommit message (Expand)AuthorLines
2023-12-04use `assume(idx < self.len())` in `[T]::get_unchecked`bendn-16/+11
2023-11-30move exposed-provenance APIs into separate feature gate and explain the relat...Ralf Jung-1/+1
2023-11-24Manual find replace updatesNilstrieb-2/+2
2023-11-24Bless Miri testsNilstrieb-42/+42
2023-10-27data-race: preserve structured access information longer, and don't upper-cas...Ralf Jung-6/+6
2023-10-06Fix problems of Reserved -> FrozenNeven Villani-0/+50
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-1/+1
2023-08-05tree borrows: consider some retags as writes for the purpose of data racesRalf Jung-39/+34
2023-07-29Adjust some tests for invalid_reference_casting improvementsUrgau-0/+2
2023-07-21ask people to reach out if we declare too much UBRalf Jung-0/+2
2023-07-21SB: track whether a retag occurred nested inside a fieldRalf Jung-2/+2
2023-07-10Do not set up wrong span for adjustmentsMichael Goulet-4/+4
2023-06-18Merge from rustcRalf Jung-1/+1
2023-06-16remove box_free and replace with drop implDrMeepster-1/+1
2023-06-10box_exclusive_violationNeven Villani-71/+0
2023-06-03Select more TB fail testsNeven Villani-1164/+0
2023-05-31Adjust tests for newly uplifted cast_ref_to_mut lintUrgau-0/+2
2023-05-21Rename `drop_ref` lint to `dropping_references`Urgau-1/+1
2023-05-12Auto merge of #109732 - Urgau:uplift_drop_forget_ref_lints, r=davidtwcobors-0/+2
2023-05-10Adjust tests for new drop and forget lintsUrgau-0/+2
2023-05-09Update to latest ui_test crate version.Oli Scherer-8/+8
2023-04-14Fix spellingJosh Soref-1/+1
2023-03-16TB: select tests to run both TB and SBNeven Villani-1/+1
2023-02-06make &mut !Unpin not dereferenceableRalf Jung-54/+0
2023-01-02tweaks to retag diagnostic handlingRalf Jung-4/+4
2022-12-24fix warningsRalf Jung-2/+2
2022-12-24Merge from rustcRalf Jung-0/+101
2022-12-23Mention and number the components of a race in the order the interpreter sees...Ben Kimock-7/+7
2022-12-23attempt to clarify what the backtrace belongs to when there could be ambiguityRalf Jung-61/+61
2022-12-22Add a (1) and (2) to the data race errorsBen Kimock-8/+8
2022-12-21Fix phrasingBen Kimock-2/+2
2022-12-21Clean up implementation, deduplicate in errorsBen Kimock-16/+6
2022-12-21Don't run `Drop` terminators on types that do not have drop glue in const evalJakob Degen-2/+2
2022-12-21Bless testsJakob Degen-3/+3
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 17:13:29 +0000