Template:cpp/hardened ub if/core
From cppreference.com
If {{{1}}}:
- If the implementation is hardened, a contract violation occurs.
- If the implementation is not hardened, the behavior is undefined.