compiler-construction - 如何检查所有代码路径是否返回值

Question

我正在为将在我的应用程序中运行的嵌入式脚本语言编写编译器。我目前正在编译器的语义分析部分。从理论上讲，我想知道如何检查给定脚本中的所有代码路径都将返回一个值。当不是所有代码路径都返回值时(大多数是SO问题)，执行Google search只会产生有关人们在自己的代码中看到错误的结果，因此我一直无法找到解释如何进行实际检查的源。谁能指出我正确的方向？

注意:
如果可能的话，我正在寻找一种概述严格算法的权威资料。

Answer 1

您可以通过遍历AST来实现此目的。例如:

如果第一个语句在所有控制路径上返回，或者第二个语句在所有控制路径上返回，则语句序列在所有控制路径上返回。

如果“if”和“else”分支均在所有控制路径上返回，或者“if”语句始终为true，则if语句在所有控制路径上返回。

仅当“while”条件始终为true时，while循环才在所有控制路径上返回。

return语句在所有控制路径上返回。

希望这可以帮助!