From b32beb88cd002ab4add1836bf9b4d82ed8aac1d6 Mon Sep 17 00:00:00 2001
From: Mazdak Farrokhzad <twingoow@gmail.com>
Date: Wed, 26 Jun 2019 14:51:01 +0200
Subject: [PATCH] Cleanup liveness comment.

---
 src/librustc/middle/liveness.rs | 19 ++++++-------------
 1 file 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: