@@ -2,7 +2,16 @@ note: tracking was triggered
2
2
--> $DIR/alloc-access-tracking.rs:LL:CC
3
3
|
4
4
LL | let ptr = miri_alloc(123, 1);
5
- | ^^^^^^^^^^^^^^^^^^ created Miri bare-metal heap allocation of 123 bytes (alignment ALIGN bytes) with id 17
5
+ | ^^^^^^^^^^^^^^^^^^ created stack variable allocation of 8 bytes (alignment ALIGN bytes) with id 17
6
+ |
7
+ = note: BACKTRACE:
8
+ = note: inside `start` at $DIR/alloc-access-tracking.rs:LL:CC
9
+
10
+ note: tracking was triggered
11
+ --> $DIR/alloc-access-tracking.rs:LL:CC
12
+ |
13
+ LL | let ptr = miri_alloc(123, 1);
14
+ | ^^^^^^^^^^^^^^^^^^ write access to allocation with id 17
6
15
|
7
16
= note: BACKTRACE:
8
17
= note: inside `start` at $DIR/alloc-access-tracking.rs:LL:CC
@@ -11,7 +20,7 @@ note: tracking was triggered
11
20
--> $DIR/alloc-access-tracking.rs:LL:CC
12
21
|
13
22
LL | *ptr = 42; // Crucially, only a write is printed here, no read!
14
- | ^^^^^^^^^ write access to allocation with id 17
23
+ | ^^^^^^^^^ read access to allocation with id 17
15
24
|
16
25
= note: BACKTRACE:
17
26
= note: inside `start` at $DIR/alloc-access-tracking.rs:LL:CC
@@ -30,7 +39,16 @@ note: tracking was triggered
30
39
--> $DIR/alloc-access-tracking.rs:LL:CC
31
40
|
32
41
LL | miri_dealloc(ptr, 123, 1);
33
- | ^^^^^^^^^^^^^^^^^^^^^^^^^ freed allocation with id 17
42
+ | ^^^ read access to allocation with id 17
43
+ |
44
+ = note: BACKTRACE:
45
+ = note: inside `start` at $DIR/alloc-access-tracking.rs:LL:CC
46
+
47
+ note: tracking was triggered
48
+ --> $DIR/alloc-access-tracking.rs:LL:CC
49
+ |
50
+ LL | }
51
+ | ^ freed allocation with id 17
34
52
|
35
53
= note: BACKTRACE:
36
54
= note: inside `start` at $DIR/alloc-access-tracking.rs:LL:CC
0 commit comments