支配边界算法实现异常求助：SSA形式实现结果不符

关键排查点 #

• 伪代码逻辑逐行核对：重新对照论文中支配边界的计算规则，重点关注节点n的所有后继节点s的处理逻辑：
  • 若n不支配s，则s必须加入n的支配边界；
  • 若n支配s，则需递归将s的支配边界合并至n的支配边界。
    检查是否遗漏了某条条件分支的后继节点遍历，比如仅处理if分支却忽略else分支，或者遍历后继时存在错误过滤。
• 手动计算验证基准：结合提供的支配树图，手动计算几个核心节点的支配边界（如分支节点、汇合节点），与程序输出对比。例如：
  若支配树中有分支节点X，后继为Y、Z，汇合节点为W，手动推导DF(X)应包含W（若X不支配W），同时验证程序是否正确识别X对Y、Z的支配关系，以及Y、Z的支配边界是否被正确合并。
• 算法终止条件检查：确认递归/循环的终止逻辑是否正确，比如处理s的支配边界时是否未遍历完所有节点就提前返回，或者循环中错误跳过了部分后继节点。
• 数据结构操作验证：检查存储支配边界的集合是否采用了合并而非覆盖逻辑，是否存在赋值操作替代集合添加的错误，同时确认集合是否正确去重。

辅助验证步骤 #

• 打印所有节点的后继节点列表，确认与控制流图完全匹配，排除后继函数返回不全的问题。
• 打印每个节点的支配节点列表，再次验证支配树的正确性，确保分支节点、汇合节点的支配关系均符合预期。

内容的提问来源于stack exchange，提问作者weak