后向数据流:CFG的后序(postorder)和reverse CFG的逆后序(RPO)的区别

CFG postorder和reverse CFG RPO不等价。在有环的时候可以构造反例。Eli Bendersky后来自己写了篇blog讲这个事情。里面提到了那个带环的情况。Directed graph traversal, orderings and applications to data-flow analysis


    推荐阅读