diff options
| author | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-04-19 16:06:33 -0700 |
|---|---|---|
| committer | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-04-19 17:50:56 -0700 |
| commit | d24e39bb910e671e1eab27df0aef37985f58df2a (patch) | |
| tree | ca80984d25121d4f39d5bb0841514dd6ac5439c6 /src | |
| parent | e59000265252667c66ed93c85ff21713ac4d172a (diff) | |
| download | rust-d24e39bb910e671e1eab27df0aef37985f58df2a.tar.gz rust-d24e39bb910e671e1eab27df0aef37985f58df2a.zip | |
Exhaustively match on `TerminatorKind` during const checking
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustc_mir/transform/check_consts/validation.rs | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/src/librustc_mir/transform/check_consts/validation.rs b/src/librustc_mir/transform/check_consts/validation.rs index 67110a3aed4..d2d5e95a1de 100644 --- a/src/librustc_mir/transform/check_consts/validation.rs +++ b/src/librustc_mir/transform/check_consts/validation.rs @@ -580,7 +580,17 @@ impl Visitor<'tcx> for Validator<'_, 'mir, 'tcx> { } } - _ => {} + TerminatorKind::Abort + | TerminatorKind::Assert { .. } + | TerminatorKind::FalseEdges { .. } + | TerminatorKind::FalseUnwind { .. } + | TerminatorKind::GeneratorDrop + | TerminatorKind::Goto { .. } + | TerminatorKind::Resume + | TerminatorKind::Return + | TerminatorKind::SwitchInt { .. } + | TerminatorKind::Unreachable + | TerminatorKind::Yield { .. } => {} } } } |