仅考虑一个基本块，不能确定一个赋值是否真是无用的