Camille GILLOT
|
a5031d569e
|
Call super for debuginfo.
|
2023-07-10 16:01:19 +00:00 |
|
Camille GILLOT
|
b4c342edea
|
Simplify visit_place.
|
2023-07-10 16:01:19 +00:00 |
|
Camille GILLOT
|
b74a144a5f
|
Enable by default.
|
2023-07-10 16:01:18 +00:00 |
|
Camille GILLOT
|
13fb0794ac
|
Do not ICE on deeply nested borrows.
|
2023-05-13 10:29:05 +00:00 |
|
Camille GILLOT
|
19652377c3
|
Iterate ReferencePropagation to fixpoint.
|
2023-05-13 10:17:28 +00:00 |
|
Camille GILLOT
|
2ec0071913
|
Implement references VarDebugInfo.
|
2023-05-13 10:12:14 +00:00 |
|
Camille GILLOT
|
9fb1c73a73
|
Avoid shadowing.
|
2023-05-10 19:23:01 +00:00 |
|
Camille GILLOT
|
aeac555578
|
Do not see through copies of mutable pointers.
|
2023-05-10 19:22:57 +00:00 |
|
Camille GILLOT
|
d0d4e0237f
|
Iteratively replace pointers.
|
2023-05-10 19:22:54 +00:00 |
|
Camille GILLOT
|
a67bf08ed7
|
Only check storage liveness for direct projections.
|
2023-05-09 17:59:35 +00:00 |
|
Camille GILLOT
|
3b4e1fe104
|
Do not check StorageLive dominates address-taking.
|
2023-05-09 17:59:35 +00:00 |
|
Camille GILLOT
|
0bd9bd6b8a
|
Explicit performance concern.
|
2023-05-09 17:59:35 +00:00 |
|
Camille GILLOT
|
3c43b61b87
|
Do not consider borrowed Freeze locals as SSA.
|
2023-05-09 17:59:35 +00:00 |
|
Camille GILLOT
|
3490375570
|
Implement SSA-based reference propagation.
|
2023-05-09 17:59:34 +00:00 |
|