Java编译器是否理解if语句中给出的条件？

Question

以下代码没有给出compile-error Unreachable statement。

if(true)return;

int x;

多年以来，我一直相信这是因为编译器对给定的条件没有给予太多的关注。

今天我发现编译器了解条件，

int x;

if (true) {

    x = 0;

}

int y = x;

因为如果不这样做，将会导致另一个compile-error variable x might not have been initialized。实际上，它可以编译并完美运行。所以，

Java编译器是否理解if语句中给出的条件？