-
Notifications
You must be signed in to change notification settings - Fork 5
Expand file tree
/
Copy pathinterior-mut3-fail.main.expected
More file actions
62 lines (57 loc) · 1.6 KB
/
interior-mut3-fail.main.expected
File metadata and controls
62 lines (57 loc) · 1.6 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
┌─ 1 (root, init)
│ #execTerminator ( terminator ( ... kind: terminatorKindCall ( ... func: operandC
│ span: 0
│
│ (151 steps)
├─ 3
│ #expect ( thunk ( #applyBinOp ( binOpEq , thunk ( #applyBinOp ( binOpBitAnd , th
│ function: main
┃
┃ (1 step)
┣━━┓
┃ │
┃ ├─ 4
┃ │ AssertError ( assertMessageMisalignedPointerDereference ( ... required: operandC
┃ │ function: main
┃ │
┃ │ (1 step)
┃ └─ 6 (stuck, leaf)
┃ #ProgramError ( AssertError ( assertMessageMisalignedPointerDereference ( ... re
┃ function: main
┃
┗━━┓
│
├─ 5
│ #execBlockIdx ( basicBlockIdx ( 8 ) ) ~> .K
│ function: main
│
│ (111 steps)
├─ 7
│ #expect ( thunk ( #applyBinOp ( binOpEq , thunk ( #applyBinOp ( binOpBitAnd , th
│ function: main
┃
┃ (1 step)
┣━━┓
┃ │
┃ ├─ 8
┃ │ AssertError ( assertMessageMisalignedPointerDereference ( ... required: operandC
┃ │ function: main
┃ │
┃ │ (1 step)
┃ └─ 10 (stuck, leaf)
┃ #ProgramError ( AssertError ( assertMessageMisalignedPointerDereference ( ... re
┃ function: main
┃
┗━━┓
│
├─ 9
│ #execBlockIdx ( basicBlockIdx ( 7 ) ) ~> .K
│ function: main
│
│ (17 steps)
└─ 11 (stuck, leaf)
#setLocalValue ( place ( ... local: local ( 1 ) , projection: .ProjectionElems )
function: main
span: 79
┌─ 2 (root, leaf, target, terminal)
│ #EndProgram ~> .K