该语言规范有一个确切的定义是什么，编译器应该当作可达代码，也见:
编译器的行为在Java语言规范的14.21节中有明确规定。无法到达的陈述。
这是一个关键语录，它直接解决了您的问题：
本节专门对“可达”一词进行精确的解释。这个想法是，从包含该语句的构造函数，方法，实例初始值设定项或静态初始值设定项的开始，必须有一些可能的执行路径。该分析考虑了语句的结构。除了对while，do和条件表达式的常数值为true的语句的特殊处理外，流分析中不考虑表达式的值。
特别是，它并不关心某个方法是否完成，也不会在其他方法内部查找。
它不会做得更多。
但是，您可以使用诸如FindBugs之类的静态代码分析工具来进行“更深入的”分析（尽管不确定它们是否能够检测到您描述的模式，而且正如其他人所指出的那样，总的来说，停止问题并不能解决）无论如何都可以通过算法解决，因此必须以“尽力而为”的某种合理定义来划清界线。
