We must ensure we distinguish between two kinds of UB: 1) UB where the behavior of the *program* is undefined 2) UB where the state of an object, value returned from a function are undefined.
We must ensure we distinguish between two kinds of UB:
UB where the behavior of the program is undefined
UB where the state of an object, value returned from a function are undefined.