COBOL嵌套IF语句缺失END-IF的行为解读技术问询

我正在分析一段COBOL代码，其中嵌套IF语句疑似缺失多个END-IF语句。我已经标记出认为应该添加END-IF的位置，但在没搞懂这个嵌套IF的执行流程前，不敢随便修改代码，麻烦帮忙解释它的运行行为。

040-EACH-RENDITION.
           READ TC298-PAYFILE AT END
             MOVE 'Y' TO END-INPUT
           .
           IF END_INPUT = 'Y' THEN
              CONTINUE
           ELSE           
              MOVE SPACES TO HOLD-CO-CODE;
              MOVE PF-ACCOUNT TO HOLD-PF-ACCOUNT;
              EXEC SQL
                 SELECT COUNTY-CODE
                   INTO HOLD-CO-CODE
                   FROM TAXDTL
                  WHERE CLIENT-ID = :ACT-CLIENT-ID
                    AND CAN = :HOLD-PF-ACCOUNT
                    AND YEAR = :CLIENT-CURRENT-YEAR
              END-EXEC
              IF HOLD-CO-CODE = SPACES
                 MOVE 'XXX' TO HOLD-CO-CODE
              END-IF;
              DISPLAY 'AFTER SELECT HOLD-CO-CODE=' HOLD-CO-CODE ';'
                      PF-ACCOUNT
              MOVE RENDITION-BEGIN-DATE TO RENDITION-FIX-DATE
              IF PF-LEVY = 0
                 CONTINUE
              ELSE
                 IF PF-YEAR < RENDITION-BEGIN-YEAR
                    IF (ACT-CLIENT-ID = 81000000
                       AND PF-YEAR = 2005
                       AND PF-DEPOSIT-DATE < '20080309')
                       CONTINUE
                    ELSE
                       IF (ACT-CLIENT-ID = 81000000
                          AND PF-YEAR = 2006
                          AND PF-DEPOSIT-DATE < '20080301')
                          CONTINUE
                       ELSE
                          IF PF-DEPOSIT-DATE < RENDITION-BEGIN-DATE
                             CONTINUE
                          ELSE
                             MOVE PF-ACCOUNT TO RP-CAN
                             MOVE PF-YEAR TO RP-YEAR
                             MOVE PF-JURISDICTION TO RP-TAXUNIT
                             MOVE PF-RECTYPE TO RP-RECTYPE
                             MOVE PF-OWNERNO TO RP-OWNERNO
                             MOVE PF-RECEIPT TO RP-RECEIPT
                             MOVE PF-VALNUM TO RP-VALNUM
                             MOVE PF-REMIT-SEQ TO RP-REMIT-SEQ
                             MOVE PF-DEPOSIT TO RP-DEPOSIT
                             PERFORM 042-GET-PENALTY
                             IF RENDITION-SW = 'Y'
                                MOVE PF-RECORD TO WF-RECORD
                                MOVE RENPEN-AMOUNT TO WF-RENPEN
                                MOVE HOLD-CO-CODE TO WF-COCODE
                                WRITE WF-RECORD
                             END-IF
      *   seems a few missing end-if statements should go here
                 ELSE 
                    MOVE PF-ACCOUNT TO RP-CAN
                    MOVE PF-YEAR TO RP-YEAR
                    MOVE PF-JURISDICTION TO RP-TAXUNIT
                    MOVE PF-RECTYPE TO RP-RECTYPE
                    MOVE PF-OWNERNO TO RP-OWNERNO
                    MOVE PF-RECEIPT TO RP-RECEIPT
                    MOVE PF-VALNUM TO RP-VALNUM
                    MOVE PF-REMIT-SEQ TO RP-REMIT-SEQ
                    MOVE PF-DEPOSIT TO RP-DEPOSIT
                    PERFORM 042-GET-PENALTY
                    IF RENDITION-SW = 'Y'
                       MOVE PF-RECORD TO WF-RECORD
                       MOVE RENPEN-AMOUNT TO WF-RENPEN
                       MOVE HOLD-CO-CODE TO WF-COCODE
                       WRITE WF-RECORD
           .
       042-GET-PENALTY.

一、代码整体流程概述 #

这段代码属于040-EACH-RENDITION段落，核心逻辑是：读取支付文件记录，若文件未读完则查询税务明细获取区县代码，随后根据PF-LEVY（税费标识）、PF-YEAR（税费年份）、存款日期等条件，判断是否生成并写入目标记录。

二、嵌套IF的预期逻辑（补全END-IF后） #

从代码结构和业务意图看，这段嵌套IF应该有明确的层级，补全缺失的END-IF后，正确的结构和流程如下：

* 补全后的核心嵌套IF结构
IF PF-LEVY = 0
   CONTINUE
ELSE
   IF PF-YEAR < RENDITION-BEGIN-YEAR
      IF (ACT-CLIENT-ID = 81000000 AND PF-YEAR = 2005 AND PF-DEPOSIT-DATE < '20080309')
         CONTINUE
      ELSE
         IF (ACT-CLIENT-ID = 81000000 AND PF-YEAR = 2006 AND PF-DEPOSIT-DATE < '20080301')
            CONTINUE
         ELSE
            IF PF-DEPOSIT-DATE < RENDITION-BEGIN-DATE
               CONTINUE
            ELSE
               * 执行记录生成、调用罚则计算、写入操作
               MOVE ...
               PERFORM 042-GET-PENALTY
               IF RENDITION-SW = 'Y'
                  WRITE WF-RECORD
               END-IF
            END-IF
         END-IF
      END-IF
   ELSE
      * 直接执行记录生成、调用罚则计算、写入操作
      MOVE ...
      PERFORM 042-GET-PENALTY
      IF RENDITION-SW = 'Y'
         WRITE WF-RECORD
      END-IF
   END-IF
END-IF

对应的执行逻辑：

1. 若PF-LEVY = 0，直接跳过所有后续嵌套逻辑，不做任何操作。
2. 若PF-LEVY ≠ 0，进入分支判断：
   • 分支A：税费年份早于申报起始年份（PF-YEAR < RENDITION-BEGIN-YEAR）
     • 若为特定客户（81000000）、2005年税费且存款日期早于2008-03-09 → 无操作。
     • 否则，若为同一客户、2006年税费且存款日期早于2008-03-01 → 无操作。
     • 否则，若存款日期早于申报起始日期 → 无操作。
     • 其余情况：执行记录字段赋值、调用罚则计算子程序，若RENDITION-SW = 'Y'则写入记录。
   • 分支B：税费年份不早于申报起始年份（PF-YEAR ≥ RENDITION-BEGIN-YEAR）
     • 直接执行记录字段赋值、调用罚则计算子程序，若RENDITION-SW = 'Y'则写入记录。

三、当前缺失END-IF的实际影响 #

这段代码确实缺失了4个END-IF（对应上述结构中最内层到第二层的IF闭合），会导致以下问题：

1. 编译报错：标准COBOL语法要求每个IF必须有对应的END-IF（单行IF除外），缺失会触发语法错误，无法通过编译。
2. 逻辑混乱（若强行运行）：部分旧编译器可能尝试按缩进推断层级，但会将注释后的ELSE块（原本的分支B）错误关联到最内层的IF PF-DEPOSIT-DATE < RENDITION-BEGIN-DATE的ELSE分支，而非IF PF-YEAR < RENDITION-BEGIN-YEAR的ELSE分支。这会导致原本的分支B逻辑完全失效，只有在存款日期不早于申报起始日期时才会执行记录生成操作，彻底偏离业务意图。

四、修复建议 #

在注释* seems a few missing end-if statements should go here的位置，添加4个END-IF，将嵌套IF正确闭合，恢复预期的层级逻辑。

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