Мы все слышали предупреждения о том, что если ты вызовешь неопределенное поведение в C или C ++,ничего вообщ может случиться

Это ограничено любое поведение во время выполнения, или это также включает в себя поведение во время компиляции? В частности, может ли компилятор при обнаружении конструкции, которая вызывает неопределенное поведение, позволять отклонять код (при отсутствии других требований в стандарте, чтобы сделать это) или даже аварийно завершать работу?