Why there is no compiler error when return statement is not present?

Question

Unlike Java, in C/C++ following is allowed:

int* foo ()
{
  if(x)
    return p;
// what if control reaches here
}

This oft

Answer 1

Use -Wall flag in gcc.

 warning: control reaches end of non-void function

EDIT: or more specifically -Wreturn-type.