diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-06-26 14:51:01 +0200 |
|---|---|---|
| committer | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-07-06 06:43:58 +0200 |
| commit | b32beb88cd002ab4add1836bf9b4d82ed8aac1d6 (patch) | |
| tree | 29b6912ed6ccc06c298cc1a300f5b4c2ed96d057 | |
| parent | b9e7e3175a8ca6f7bbc09a5ae229d8962d94121f (diff) | |
| download | rust-b32beb88cd002ab4add1836bf9b4d82ed8aac1d6.tar.gz rust-b32beb88cd002ab4add1836bf9b4d82ed8aac1d6.zip | |
Cleanup liveness comment.
| -rw-r--r-- | src/librustc/middle/liveness.rs | 19 |
1 files changed, 6 insertions, 13 deletions
diff --git a/src/librustc/middle/liveness.rs b/src/librustc/middle/liveness.rs index 3885d1b6f82..daf0d8103a2 100644 --- a/src/librustc/middle/liveness.rs +++ b/src/librustc/middle/liveness.rs @@ -1346,22 +1346,15 @@ impl<'a, 'tcx> Liveness<'a, 'tcx> { succ: LiveNode ) -> LiveNode { /* - FIXME: clean up this description. - We model control flow like this: - (cond) <--+ - | | - v | - +-- (expr) | - | | | - | v | - | (body) ---+ - | - | - v - (succ) + (expr) <-+ + | | + v | + (body) --+ + 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: |