先看结论
支持度none
置信度high
严重度major
PL/pgSQL 无 GOTO;控制流需重构(循环+EXIT/CONTINUE/嵌套块)并逐分支回归
不支持
需按命中位置逐条评估改写
库侧 / 应用侧
库侧
可行:重构控制流为循环 + EXIT/CONTINUE/嵌套块异常,消除 GOTO
应用侧
可行:过程逻辑整体上移应用层时一并消除 GOTO
验证建议:逐分支对照原跳转路径回归——控制流重构属逻辑改写,用例须覆盖全部 GOTO 目标标签