bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Document BinOp::is_checkable

Browse source
This commit is contained in:
Tomasz Miąsko 2023-03-12 00:00:00 +00:00
parent 938afba899
commit b16d6ccdcd
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1999,6 +1999,9 @@ impl BorrowKind {
}
impl BinOp {
/// The checkable operators are those whose overflow checking behavior is controlled by
/// -Coverflow-checks option. The remaining operators have either no overflow conditions (e.g.,
/// BitAnd, BitOr, BitXor) or are always checked for overflow (e.g., Div, Rem).
pub fn is_checkable(self) -> bool {
use self::BinOp::*;
matches!(self, Add | Sub | Mul | Shl | Shr)