Fix an infinite loop in the BlockReturnValue analysis
Fix an infinite loop in the BlockReturnValue analysis

This could happen when phi nodes formed cycles, I think.  Now the
algorithm just marks blocks it has visited and refuses to visit them
again.

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