Fortran 77循环标签复用疑问：非块循环转块模式可行性咨询

我有一段旧Fortran 77代码，希望尽可能保持原代码逻辑不变。由于gfortran会抛出循环警告，打算将非块循环改为块模式，但发现部分GOTO语句复用了循环标签，不确定编译器对标签后续语句的处理逻辑。现咨询是否可将示例代码修改为第一种方案形式，或第二种方案中标签应指向END DO还是后续语句？

原代码 #

INTEGER i
      DO 30 i = 1, 14
      IF <SOME CONDITION> GOTO 30
      <SOME COMMANDS HERE>
  30  WRITE(*,*) i
      <SOME FOLLOWING STATEMENTS>

修改方案一 #

INTEGER i
      DO 30 i = 1, 14
      WRITE(*,*) i
      IF <SOME CONDITION> GOTO 30    
      <SOME COMMANDS HERE>  
  30  CONTINUE  
      <SOME FOLLOWING STATEMENTS>

修改方案二 #

INTEGER i
      DO i = 1, 14
      WRITE(*,*) i
      IF <SOME CONDITION> GOTO 30    
      <SOME COMMANDS HERE>  
      END DO
  30  <SOME FOLLOWING STATEMENTS>

解答 #

首先明确原代码的核心逻辑：在非块DO循环中，标签30是循环的终端语句（WRITE语句），GOTO 30的作用是直接触发下一次循环迭代——非块DO循环遇到跳转到终端标签的GOTO时，会自动完成循环变量递增、循环条件检查，相当于跳过后续的<SOME COMMANDS HERE>，直接进入下一轮循环。

1. 方案一的可行性
   方案一完全匹配原代码逻辑，是正确的修改方式：

• 把原终端位置的WRITE移到循环体开头，用CONTINUE作为循环终端标签；
• GOTO 30跳转到CONTINUE时，会触发非块DO循环的迭代流程（变量递增、条件判断），和原代码执行顺序完全一致：每次循环先执行WRITE，满足条件则跳过后续命令直接进入下一轮，不满足则执行完命令再完成迭代；
• 同时消除了gfortran对非块循环的警告，且最大程度保留了原代码的结构风格。

2. 方案二的问题
   方案二的写法逻辑错误：

• 当前代码中GOTO 30会跳转到END DO之后的<SOME FOLLOWING STATEMENTS>，这会直接跳出循环执行后续代码，完全违背了原代码“满足条件继续循环”的逻辑；
• 如果想用块循环实现原逻辑，更规范的做法是用CYCLE语句替代GOTO 30（块DO循环支持CYCLE，专门用于直接进入下一轮迭代）；如果一定要保留GOTO写法，标签应指向循环体的开头，而非END DO之后的位置，但这种写法不如CYCLE清晰。

综上，优先选择方案一进行修改。

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