bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Comment logic around worklist.

Browse source
This commit is contained in:
Camille GILLOT 2023-04-04 17:14:53 +00:00
parent 7d47a910eb
commit 98255cc242
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/rustc_mir_transform/src/const_prop_lint.rs
View file

@ -675,10 +675,13 @@ impl<'tcx> Visitor<'tcx> for ConstPropagator<'_, 'tcx> {
&& let Ok(constant) = value_const.try_to_int()
&& let Ok(constant) = constant.to_bits(constant.size())
{
// We managed to evaluate the discriminant, so we know we only need to visit
// one target.
let target = targets.target_for_value(constant);
self.worklist.push(target);
return;
}
// We failed to evaluate the discriminant, fallback to visiting all successors.
}
// None of these have Operands to const-propagate.
TerminatorKind::Goto { .. }