Fix bug where is_call_return_effect_applied was never set

2026-06-01 22:18:23 +03:00 · 2019-09-18 09:22:02 -07:00
parent a7f52520d5
commit b4e94d9a3a
1 changed files with 1 additions and 0 deletions
@@ -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,