12.1.4 基于关键语义子树的间接跳转目标解析及翻译