在不信任 LLM 的情况下删除 1.9 万行废弃编译器代码

作者在一周内利用静态分析和分层验证删除了编译器中约 1.9 万行废弃代码，且无回滚。该方法通过静态分析划定范围，将节点分类为机械删除、跨属权、副作用和手术四类，并由 LLM 辅助分类与执行。最终编译器二进制大小减少 50MB 以上，仅人工审查了 12% 的删除行。