about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/tree_borrows
AgeCommit message (Collapse)AuthorLines
2025-09-22TB: rename Active → Unique to match paperRalf Jung-40/+7
2025-08-23tree borrows: refactor new-permission logicRalf Jung-0/+30
2025-08-19God bless the testsJohannes Hostert-0/+18
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-18/+18
2025-05-30Track permissions on the byte-levelXinglu Chen-0/+59
Co-authored-by: Ralf Jung <post@ralfj.de> Co-authored-by: Johannes Hostert <jhostert@ethz.ch>
2025-05-04Remove -Zunique-is-uniqueJohannes Hostert-169/+0
2025-05-01Merge pull request #4273 from yoctocell/new-cell-stateRalf Jung-6/+6
TB: add `Cell` state to support more fine-grained tracking of interior mutable data
2025-05-01Add `Cell` state to Tree BorrowsXinglu Chen-6/+6
2025-04-29add -Zmiri-deterministic-concurrency flag and use it for concurrency testsRalf Jung-4/+4
2025-04-29Added random schedulinggeetanshjuneja-2/+2
2024-12-11Merge pull request #4008 from JoJoDeveloping/tb-access-state-based-skippingRalf Jung-0/+60
[TB Optimization] Skip subtrees based on the subtree's root node's permissions
2024-12-10TB: optimize accesses on large trees by ignoring subtrees if the access ↵Johannes Hostert-6/+6
would mostly be a NOP
2024-12-04add test to demonstrate the effect of #4008Johannes Hostert-0/+60
2024-11-11stacked borrows tests: add those that fail under TBRalf Jung-2/+2
2024-10-11simplify Tree Borrows write-during-2phase exampleRalf Jung-13/+15
2024-09-29let rustfmt format importsRalf Jung-2/+1
2024-09-21fmt (with a huge diff for some reason)Ralf Jung-1/+1
2024-09-16Bump ui testOli Scherer-99/+100
2024-09-11make basic allocation functions track_caller in Miri for nicer backtracesRalf Jung-5/+3
2024-08-27Make TB tree traversal bottom-upJohannes Hostert-35/+17
In preparation for #3837, the tree traversal needs to be made bottom-up, because the current top-down tree traversal, coupled with that PR's changes to the garbage collector, can introduce non-deterministic error messages if the GC removes a parent tag of the accessed tag that would have triggered the error first. This is a breaking change for the diagnostics emitted by TB. The implemented semantics stay the same.
2024-08-27Add testcase for #3846Johannes Hostert-0/+54
2024-07-24Make unused states of Reserved unrepresentableNeven Villani-10/+10
2024-07-12Clarify comment in tests/fail/tree_borrows/reservedim_spurious_write.rsNeven Villani-2/+3
Co-authored-by: Ralf Jung <post@ralfj.de>
2024-07-10Second byte is not involved in the example; use a Cell<()> insteadNeven Villani-16/+19
2024-07-09Apply suggestionsNeven Villani-17/+50
- split test into two revisions - clarify comments
2024-07-09Implement fix for reservedim_spurious_write: ignore IM on protectedNeven Villani-4/+45
2024-07-09This pattern using lazy protected Reserved IM prevents spurious writesNeven Villani-0/+109
2024-07-04Add UI test for protector end write semanticsJohannes Hostert-0/+62
2024-04-06chore: fix some typosfindseat-1/+1
Signed-off-by: findseat <penglili@outlook.com>
2024-03-02Tree Borrows: print where the forbidden access happens; make tag tracking ↵Ralf Jung-30/+30
less verbose
2024-03-02print thread name in miri error backtracesRalf Jung-1/+1
2023-11-29explain tests that disable the provenance GCRalf Jung-0/+2
2023-11-24Manual find replace updatesNilstrieb-1/+1
2023-11-24Bless Miri testsNilstrieb-16/+16
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2023-11-19tag-gc -> provenance-gcBen Kimock-2/+2
2023-10-06Fix problems of Reserved -> FrozenNeven Villani-14/+175
Reserved loses permissions too quickly. Adding more fine-grained behavior of Reserved lets it lose write permissions only temporarily. Protected tags receive a read access on initialized locations.
2023-09-23Merge from rustcThe Miri Conjob Bot-1/+1
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-1/+1
2023-09-19Issue of the current model: spurious reads are not possibleNeven Villani-2/+2
This occurs because in some interleavings, inserting a spurious read turns a Reserved into Frozen. We show here an exhaustive test (including arbitrary unknown code in two different threads) that makes this issue observable.
2023-08-05tree borrows: consider some retags as writes for the purpose of data racesRalf Jung-127/+0
2023-07-30refactor tests/utils a bit, and move some FS functions thereRalf Jung-2/+2
2023-07-28exract a perform_access, check read-read commutation exhaustivelyNeven Villani-6/+6
2023-07-26fix protectors so that all reads actually commuteNeven Villani-6/+6
2023-07-26normalize tree borrow diagnostics across targetsRalf Jung-4/+4
2023-07-10Do not set up wrong span for adjustmentsMichael Goulet-10/+3
2023-06-28Unique gets special treatment when -Zmiri-unique-is-uniqueNeven Villani-0/+208
2023-06-18Merge from rustcRalf Jung-1/+1
2023-06-05Differentiate between explicit accesses and accesses inserted by TBNeven Villani-33/+33
2023-06-03Select more TB fail testsNeven Villani-0/+839
- reorganize tests/ structure: {stacked,tree,both}_borrows - UnsafeCell transmutation (the one that should fail, i.e. transmute & -> UnsafeCell then try to write) - select TB pass tests from existing SB fail tests (and a version that fails TB) - many fail tests now shared * extra test for TB that parent write invalidates child reads * buggy_* tests now shared * tests for deep retagging (pass_invalid_shr_*) now shared * extra TB test that shared references are read-only * aliasing_mut{1,2,3,4} adapted to fail both * extra TB test that write to raw parent invalidates shared children * mut_exclusive_violation2 now shared * issue-miri-1050-2 revisions fix - deduplications
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 04:28:07 +0000