Rollup merge of #94017 - fee1-dead:unub, r=bjorn3

Clarify confusing UB statement in MIR
rust-lang · Feb 16, 2022 · a5a1ffb · a5a1ffb
2 parents 75a631d + 7fa87f2
commit a5a1ffb
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/compiler/rustc_middle/src/mir/mod.rs b/compiler/rustc_middle/src/mir/mod.rs
@@ -2270,11 +2270,13 @@ pub enum BinOp {
     Mul,
     /// The `/` operator (division)
     ///
-    /// Division by zero is UB.
+    /// Division by zero is UB, because the compiler should have inserted checks
+    /// prior to this.
     Div,
     /// The `%` operator (modulus)
     ///
-    /// Using zero as the modulus (second operand) is UB.
+    /// Using zero as the modulus (second operand) is UB, because the compiler
+    /// should have inserted checks prior to this.
     Rem,
     /// The `^` operator (bitwise xor)
     BitXor,