Remove some explicit recursion from the dataflow analysis to make it easier to analyze
Remove some explicit recursion from the dataflow analysis to make it easier to analyze

travitch/llvm-analysis,wangxiayang/llvm-analysis,travitch/llvm-analysis,wangxiayang/llvm-analysis