bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Update compiler/rustc_middle/src/mir/syntax.rs

Browse source 
Co-authored-by: Ralf Jung <post@ralfj.de>
This commit is contained in:
Camille Gillot 2023-02-11 18:21:31 +01:00 • committed by Camille GILLOT
parent fb1f7f747a
commit 328696ca17
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/rustc_middle/src/mir/syntax.rs
View file

@ -675,7 +675,8 @@ pub enum TerminatorKind<'tcx> {
/// When overflow checking is disabled and this is run-time MIR (as opposed to compile-time MIR
/// that is used for CTFE), the following variants of this terminator behave as `goto target`:
/// - `OverflowNeg(..)`,
/// - `Overflow(op, ..)` if op is a checkable operation (add, sub, mul, shl, shr).
/// - `Overflow(op, ..)` if op is a "checkable" operation (add, sub, mul, shl, shr, but NOT
/// div or rem).
Assert {
cond: Operand<'tcx>,
expected: bool,