The compiler in Java complains unexpectedly about "missing return statement"

See more:

Java

The following methods go without return statements even though they have an explicit return type int.

public int foo1()
{
    while(true) {}
}

public int foo2()
{
    for(;;);
}

public int foo3()
{
    while(true)
    {
        if(true)
        {
            //... Stuff
        }
    }
}

All of the above methods issue no compiler error even though they contain no return statement. It may be because they all are infinite loops that will never return and hence, the compiler may ignore the return statement. If it is so, then the following case is also obvious.

public int foo4()
{
    if(true)
    {
        return(5);
    }
}

In the preceding method, the compiler complains about missing return statement even though the if condition is always true and consequently, the return statement is obviously going to return the specified value. Suppressing this error requires another return statement within an else block or otherwise.

Are there some specific reasons behind it? The preceding is not the case with C# that works perfectly as expected.