O que é Undefined behaviour?

Undefined behaviour is behaviour for which the C++ standard imposes no requirements: signed integer overflow, a null or dangling dereference, an out-of-bounds access, a data race, reading an object through a pointer of an unrelated type. The compiler may assume it never happens, and optimises every program as if it did not.