Commit 2b5b191
committed
Fix miri issue 4579 by checking if the strong protector is actually "active".
Where "active" means that the accessed bit is set.
This also reverts miri PR 3831.1 parent 906bfe9 commit 2b5b191
File tree
4 files changed
+4
-52
lines changed- src/tools/miri
- src/borrow_tracker/tree_borrows
- tests
- fail/both_borrows
- pass/both_borrows
4 files changed
+4
-52
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
756 | 756 | | |
757 | 757 | | |
758 | 758 | | |
| 759 | + | |
| 760 | + | |
759 | 761 | | |
760 | 762 | | |
761 | 763 | | |
| |||
Lines changed: 0 additions & 15 deletions
This file was deleted.
Lines changed: 0 additions & 32 deletions
This file was deleted.
Lines changed: 2 additions & 5 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
6 | | - | |
7 | | - | |
| 6 | + | |
8 | 7 | | |
9 | | - | |
| 8 | + | |
10 | 9 | | |
11 | 10 | | |
12 | 11 | | |
13 | 12 | | |
14 | 13 | | |
15 | 14 | | |
16 | | - | |
17 | | - | |
18 | 15 | | |
0 commit comments