Annex F (informative) Core undefined behavior [ub]

F.3 [expr]: Expressions [ub.expr]

F.3.28[ub:expr.mul.div.by.zero]
Specified in: [expr.mul]

1
#
Division by zero has undefined behavior.
2
#
[Example 1: int main() { int x = 1 / 0; // undefined behavior, division by zero double d = 1.0 / 0.0; // undefined behavior on systems where the range of // representable values of double is [-max,+max], on systems where // representable values is [-inf,+inf] this would not be undefined behavior } — end example]