From b4e94d9a3a04798201676be8f18ee483eb292104 Mon Sep 17 00:00:00 2001
From: Dylan MacKenzie <ecstaticmorse@gmail.com>
Date: Wed, 18 Sep 2019 09:22:02 -0700
Subject: [PATCH] Fix bug where `is_call_return_effect_applied` was never set

---
 src/librustc_mir/dataflow/generic.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/librustc_mir/dataflow/generic.rs b/src/librustc_mir/dataflow/generic.rs
index 5a28df42f20..886044c0692 100644
--- a/src/librustc_mir/dataflow/generic.rs
+++ b/src/librustc_mir/dataflow/generic.rs
@@ -274,6 +274,7 @@ pub fn seek_after_assume_call_returns(&mut self, target: Location) {
             ..
         } = &term.kind {
             if !self.is_call_return_effect_applied {
+                self.is_call_return_effect_applied = true;
                 self.results.analysis.apply_call_return_effect(
                     &mut self.state,
                     target.block,