Функция с отсутствующим возвращаемым значением, поведением во время выполнения

Question

Как и следовало ожидать, компилятор (VisualStudio 2008) выдаст предупреждение

предупреждение C4715: «doSomethingWith»: не все пути управлений возвращает значение

при компиляции следующего кода:

int doSomethingWith(int value) 
{ 
    int returnValue = 3; 
    bool condition = false; 

    if(condition) 
     // returnValue += value; // DOH 

    return returnValue; 
} 

int main(int argc, char* argv[]) 
{ 
    int foo = 10; 
    int result = doSomethingWith(foo); 
    return 0; 
} 

Но программа работает просто отлично. Возвращаемое значение функции doSomethingWith() равно 0.

Это просто неопределенное поведение, или существует определенное правило, как создается или вычисляется значение результата во время выполнения. Что происходит с не-POD-типами данных как возвращаемое значение?

Answer 1

Это Неопределенное поведение, как указано в стандартной секции ISO C++ 6.6.3:

стекания конец функции эквивалентно возвращению без значения; Это приводит к неопределенному поведению в функции возврата значения.

Answer 2

Не возвращающее значение из функции возврата значения приводит к неопределенному поведению.

Answer 3

Для процессоров x86 стандартное соглашение о вызове помещает возвращаемое значение в регистр EAX. Практически это означает, что для большинства компиляторов, если мы дойдем до конца функции без возврата, результат последней математической операции будет возвращен. Однако вы не можете полагаться на него, и он не переносится.

http://en.wikipedia.org/wiki/X86_calling_conventions#cdecl

Answer 4

Обновление @piotr ответ.

Из C++17 Standard Раздела 9.6.3

стекания конца конструктора, деструктора или функции с в сорте ничтожного типа возврата эквивалентен возврат, без операнда. В противном случае, выходя из конца функции, отличной от основной (6.6.1) , возникает неопределенное поведение.