Cleanup liveness comment.
This commit is contained in:
parent
b9e7e3175a
commit
b32beb88cd
|
@ -1346,22 +1346,15 @@ impl<'a, 'tcx> Liveness<'a, 'tcx> {
|
||||||
succ: LiveNode
|
succ: LiveNode
|
||||||
) -> LiveNode {
|
) -> LiveNode {
|
||||||
/*
|
/*
|
||||||
FIXME: clean up this description.
|
|
||||||
|
|
||||||
We model control flow like this:
|
We model control flow like this:
|
||||||
|
|
||||||
(cond) <--+
|
(expr) <-+
|
||||||
| |
|
| |
|
||||||
v |
|
v |
|
||||||
+-- (expr) |
|
(body) --+
|
||||||
| | |
|
|
||||||
| v |
|
|
||||||
| (body) ---+
|
|
||||||
|
|
|
||||||
|
|
|
||||||
v
|
|
||||||
(succ)
|
|
||||||
|
|
||||||
|
Note that a `continue` expression targeting the `loop` will have a successor of `expr`.
|
||||||
|
Meanwhile, a `break` expression will have a successor of `succ`.
|
||||||
*/
|
*/
|
||||||
|
|
||||||
// first iteration:
|
// first iteration:
|
||||||
|
|
Loading…
Reference in New Issue