6.11.4 基于控制流的类型分析