一个会做你就是高手的问题

我敢打赌国内只有极小数人会做这个问题，一个看起来不那么难，又很实用的问题：

输入：一段代码或者它的语法树。目的：找出永远不会执行的代码。

如：

return;
a = 1; // 这个代码永远不执行

如：

for(; ; a++) {   // 这个代码永远不执行
   break;
}

需求描述的非常清晰吧？像 eclipse 和 vs 都甚至在编辑时就能提示不执行的代码。

但是 你会吗？