Почему компилятор C++ не устраняет нулевую проверку указателя, возвращаемого функцией new? ⇐ C++

[Anonymous]

Недавно я запустил следующий код на ideone.com (gcc-4.3.4)

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

#include 
#include 
#include 
#include 

using namespace std;

void* operator new( size_t size ) throw(std::bad_alloc)
{
void* ptr = malloc( 2 * 1024 * 1024 * 1024);
printf( "%p\n", ptr );
return ptr;
}

void operator delete( void* ptr )
{
free( ptr );
}

int main()
{
char* ptr = new char;
if( ptr == 0 ) {
printf( "unreachable\n" );
}
delete ptr;
}

и получил такой вывод:

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

(nil)
unreachable

хотя new никогда не должен возвращать нулевой указатель, поэтому вызывающая сторона может рассчитывать на это, а компилятор мог бы исключить ptr == 0 проверять и обрабатывать зависимый код как недостижимый.

Почему компилятор не удаляет этот код? Это просто пропущенная оптимизация или есть какая-то другая причина?

Подробнее здесь: https://stackoverflow.com/questions/821 ... ned-by-new