Как компилятору C++ удается генерировать совершенно бессмысленный код? [закрыто] ⇐ C++

[Anonymous]

Вот слегка измененная версия кода из этого вопроса:

Код: Выделить всё

#pragma warning(default:4716)
int recur(int i)
{
int result;
result = (i>1 ? i - recur(i/2) : 3);
// return intentionally omitted
}

int main()
{
return recur(0);
}

Обратите внимание, что recur() опускает return, поэтому его поведение не определено. Вот что выдает Visual C++ 10 для этого кода:

Код: Выделить всё

 316: int main()
317: {
00403940  push        ecx
318:   return recur(0);
00403941  mov         eax,dword ptr [esp]
319: }
00403944  pop         ecx
00403945  ret

Да, я знаю, что в случае неопределенного поведения разрешено все. Но этот код совершенно бессмысленен, а компилятор — это программа, поэтому я не жду от него бессмысленных вещей.

Как компилятору удается генерировать совершенно бессмысленный код?

Подробнее здесь: https://stackoverflow.com/questions/144 ... tless-code