Annex F (informative) Core undefined behavior [ub]

F.2 [basic]: Basics [ub.basic]

F.2.14[ub:basic.indet.value]
Specified in: [basic.indet]

When the result of an evaluation is an indeterminate value (but not just an erroneous value) the behavior is undefined.
[Example 1: void g() { int x [[ indeterminate ]]; int y = x; // undefined behavior } — end example]