diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-10-20 15:51:46 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-10-21 07:08:53 +0000 |
| commit | dd08dd42e52af9677c3fcf83477d9693883cb221 (patch) | |
| tree | 0cac2eae9163239ad6b32d116ed39199bb4f3e15 /compiler/rustc_mir_transform/src | |
| parent | a845bac6ba434483b483c0561011227c1eff9daf (diff) | |
| download | rust-dd08dd42e52af9677c3fcf83477d9693883cb221.tar.gz rust-dd08dd42e52af9677c3fcf83477d9693883cb221.zip | |
Expand comment on disappearing edge.
Diffstat (limited to 'compiler/rustc_mir_transform/src')
| -rw-r--r-- | compiler/rustc_mir_transform/src/jump_threading.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_mir_transform/src/jump_threading.rs b/compiler/rustc_mir_transform/src/jump_threading.rs index 83af640f777..7b918be4474 100644 --- a/compiler/rustc_mir_transform/src/jump_threading.rs +++ b/compiler/rustc_mir_transform/src/jump_threading.rs @@ -645,7 +645,7 @@ impl OpportunitySet { debug!(?current, ?succ); // `succ` must be a successor of `current`. If it is not, this means this TO is not - // satisfiable, so we bail out. + // satisfiable and a previous TO erased this edge, so we bail out. if basic_blocks[current].terminator().successors().find(|s| *s == succ).is_none() { debug!("impossible"); return; |