Annex F (informative) Core undefined behavior [ub]

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

F.3.30[ub:expr.add.out.of.bounds]
Specified in: [expr.add]

Creating an out of bounds pointer has undefined behavior.
[Example 1: static const int arrs[10]{}; int main() { const int *y = arrs + 11; // undefined behavior, creating an out of bounds pointer } — end example]
[Example 2: static const int arrs[10][10]{}; int main() { const int(*y)[10] = arrs + 11; // undefined behavior, creating an out of bounds pointer } — end example]