Commit 3623501
authored
sys/miri: fix
The constructor takes a `&File` but `&File` still allows mutation of
the underlying state, e.g., the seek position. It turns out that this
matters when we try to `Mmap::from_file` more than once, e.g. when
enabling guest debugging and thus mapping private copies of code.
No test yet as this will be covered by upcoming miri coverage of guest
debugging.Mmap::from_file to seek to start of file. (#12572)1 parent 282546d commit 3623501
1 file changed
Lines changed: 2 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
13 | | - | |
| 13 | + | |
14 | 14 | | |
15 | 15 | | |
16 | 16 | | |
| |||
63 | 63 | | |
64 | 64 | | |
65 | 65 | | |
| 66 | + | |
66 | 67 | | |
67 | 68 | | |
68 | 69 | | |
| |||
0 commit comments