diff options
| author | Gary Guo <gary@garyguo.net> | 2022-10-31 01:01:24 +0000 |
|---|---|---|
| committer | Gary Guo <gary@garyguo.net> | 2023-04-06 09:34:16 +0100 |
| commit | e3f2edc75bf2becb57d7d770bba20606da1c4224 (patch) | |
| tree | e9a882f5219677941d8a0c5112e65a32b28b746f /compiler/rustc_mir_dataflow/src/framework | |
| parent | 0a5dac3062ffc80a283943e49e2ada08f0b0eaf7 (diff) | |
| download | rust-e3f2edc75bf2becb57d7d770bba20606da1c4224.tar.gz rust-e3f2edc75bf2becb57d7d770bba20606da1c4224.zip | |
Rename `Abort` terminator to `Terminate`
Unify terminology used in unwind action and terminator, and reflect the fact that a nounwind panic is triggered instead of an immediate abort is triggered for this terminator.
Diffstat (limited to 'compiler/rustc_mir_dataflow/src/framework')
| -rw-r--r-- | compiler/rustc_mir_dataflow/src/framework/direction.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_mir_dataflow/src/framework/direction.rs b/compiler/rustc_mir_dataflow/src/framework/direction.rs index a078c6b550e..c8fe1af6674 100644 --- a/compiler/rustc_mir_dataflow/src/framework/direction.rs +++ b/compiler/rustc_mir_dataflow/src/framework/direction.rs @@ -474,7 +474,7 @@ impl Direction for Forward { { use mir::TerminatorKind::*; match bb_data.terminator().kind { - Return | Resume | Abort | GeneratorDrop | Unreachable => {} + Return | Resume | Terminate | GeneratorDrop | Unreachable => {} Goto { target } => propagate(target, exit_state), |