Only use the initial analysis state for the actual entry instruction.
Only use the initial analysis state for the actual entry instruction.

For other instructions/blocks with no predecessors, use top.
This can happen when there is unreachable code.

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