diff options
| author | Nilstrieb <48135649+Nilstrieb@users.noreply.github.com> | 2023-04-09 23:08:01 +0200 |
|---|---|---|
| committer | Nilstrieb <48135649+Nilstrieb@users.noreply.github.com> | 2023-04-09 23:22:14 +0200 |
| commit | e5defd010262989a01573193b0456fd31e3cb63c (patch) | |
| tree | b1a49293d03d3b82fbdffc848b976fbde0ea430e /compiler | |
| parent | 4b4948c2e34e6b320f0091b97bf3044db467f4d3 (diff) | |
| download | rust-e5defd010262989a01573193b0456fd31e3cb63c.tar.gz rust-e5defd010262989a01573193b0456fd31e3cb63c.zip | |
Convert manual loop into `while let`
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_middle/src/mir/traversal.rs | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/compiler/rustc_middle/src/mir/traversal.rs b/compiler/rustc_middle/src/mir/traversal.rs index 62cdf794b1e..7d247eeb656 100644 --- a/compiler/rustc_middle/src/mir/traversal.rs +++ b/compiler/rustc_middle/src/mir/traversal.rs @@ -178,17 +178,7 @@ impl<'a, 'tcx> Postorder<'a, 'tcx> { // When we yield `B` and call `traverse_successor`, we push `C` to the stack, but // since we've already visited `E`, that child isn't added to the stack. The last // two iterations yield `C` and finally `A` for a final traversal of [E, D, B, C, A] - loop { - let bb = if let Some(&mut (_, ref mut iter)) = self.visit_stack.last_mut() { - if let Some(bb) = iter.next() { - bb - } else { - break; - } - } else { - break; - }; - + while let Some(&mut (_, ref mut iter)) = self.visit_stack.last_mut() && let Some(bb) = iter.next() { if self.visited.insert(bb) { if let Some(term) = &self.basic_blocks[bb].terminator { self.visit_stack.push((bb, term.successors())); |
