diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-02-11 14:56:06 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-02-18 21:35:02 +0000 |
| commit | d0cc00f7580d154aa8d9edd777a5aa7e6e6cfd22 (patch) | |
| tree | 8475ec403477d191246ba3981d8b3309e76096c9 | |
| parent | 86dbcb53907037dcc3fabb635956aec2c384b4e9 (diff) | |
| download | rust-d0cc00f7580d154aa8d9edd777a5aa7e6e6cfd22.tar.gz rust-d0cc00f7580d154aa8d9edd777a5aa7e6e6cfd22.zip | |
Add comment.
| -rw-r--r-- | compiler/rustc_middle/src/mir/syntax.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/mir/syntax.rs b/compiler/rustc_middle/src/mir/syntax.rs index 66ee6818789..2e71fc19868 100644 --- a/compiler/rustc_middle/src/mir/syntax.rs +++ b/compiler/rustc_middle/src/mir/syntax.rs @@ -671,6 +671,9 @@ pub enum TerminatorKind<'tcx> { /// as parameters, and `None` for the destination. Keep in mind that the `cleanup` path is not /// necessarily executed even in the case of a panic, for example in `-C panic=abort`. If the /// assertion does not fail, execution continues at the specified basic block. + /// + /// When overflow checking is disabled and we are generating run-time code, the `Overflow*` + /// variants of this terminator are codegened as simple `goto target`. Assert { cond: Operand<'tcx>, expected: bool, |