Меня восхитила фраза "Давайте посмотрим, как компилятор анализирует данную программу.", почему-то показалось, что где-то будет предложение самим странслировать исходник в код (; ну и коммент "Undefined behavior — как раз то, что позволяет компилировать сишный код в эффективный машинный код." -отлить в граните.