Should have handled everything but fields and jump edges
Should have handled everything but fields and jump edges

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