This repository was archived by the owner on Sep 8, 2025. It is now read-only.
Commit 18a15c2
miri: Fix a new code pattern with stacked borrows (#11019)
Joel and I went down a deep rabbit hole today trying to figure out
what's going on with a new code pattern which was being flagged as
violating stacked borrows. At the end of the day I'm honestly not 100%
sure what this doing or how to explain all the behavior we were seeing,
but this seems to be basically equivalent and we're otherwise able to
get a bit further so I figured I'd commit this.
Along the way I updated the preexisting `table-intrinsics` test to
correctly use the table it was supposed to be using instead of using the
previous table by accident.1 parent 3b91e3b commit 18a15c2
3 files changed
Lines changed: 22 additions & 18 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
957 | 957 | | |
958 | 958 | | |
959 | 959 | | |
960 | | - | |
961 | | - | |
962 | | - | |
| 960 | + | |
963 | 961 | | |
964 | 962 | | |
965 | 963 | | |
966 | 964 | | |
967 | 965 | | |
968 | | - | |
969 | | - | |
970 | | - | |
| 966 | + | |
971 | 967 | | |
972 | 968 | | |
973 | 969 | | |
974 | 970 | | |
975 | 971 | | |
976 | | - | |
977 | | - | |
978 | | - | |
| 972 | + | |
979 | 973 | | |
980 | 974 | | |
981 | 975 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
181 | 181 | | |
182 | 182 | | |
183 | 183 | | |
| 184 | + | |
| 185 | + | |
| 186 | + | |
184 | 187 | | |
185 | 188 | | |
186 | 189 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
67 | 67 | | |
68 | 68 | | |
69 | 69 | | |
70 | | - | |
| 70 | + | |
71 | 71 | | |
72 | | - | |
73 | | - | |
| 72 | + | |
| 73 | + | |
74 | 74 | | |
75 | | - | |
| 75 | + | |
76 | 76 | | |
77 | | - | |
78 | | - | |
| 77 | + | |
| 78 | + | |
79 | 79 | | |
80 | | - | |
81 | | - | |
82 | | - | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
83 | 83 | | |
84 | 84 | | |
85 | 85 | | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| 90 | + | |
| 91 | + | |
| 92 | + | |
86 | 93 | | |
0 commit comments