解析Fortran代码中gcov输出的声明行执行计数差异

这事儿本质是gfortran对不同变量声明的编译处理逻辑不一样，gcov只会统计生成了可执行机器指令的代码行，具体差异原因分这几点：

• 数组声明有计数的核心：运行时需要执行分配/初始化操作
  如果你的数组是自动数组（比如integer :: arr(n)，n是运行时传入的参数）、可分配数组（integer, allocatable :: arr(:)），或者带显式初始化的固定大小数组（integer :: arr(5) = [1,2,3,4,5]），gfortran会在每次进入子程序时生成对应的栈分配、内存申请或者初始化指令。这些指令属于可执行代码，gcov会统计它们的执行次数，所以你看到的计数会和子程序调用次数一致（如果每次调用都走同一路径），或者因为分支逻辑出现不同数值。

• 无初始化的标量无计数：没有生成运行时执行指令
  对于普通无初始化的标量（比如integer :: x），gfortran只是在栈上预留内存空间，不会生成任何需要运行时执行的初始化或分配指令——这行代码在编译阶段就完成了内存布局规划，没有对应的机器指令，所以gcov没法统计到执行计数。

• 带save属性的变量无计数：静态存储区的一次性处理
  带save属性的变量，不管是标量还是数组，都是分配在静态存储区：

  • 如果无初始化：编译阶段就完成内存分配，运行时不需要任何操作，对应声明行没有可执行指令，gcov无计数；
  • 如果有初始化：只会在程序第一次启动时执行一次初始化，后续调用子程序不会再触发这行的执行逻辑，若你没观察到计数，大概率是用了无初始化的save变量。

• 编译选项-Og的影响
  你用的-Og是调试友好的优化等级，它会保留调试信息同时做少量优化，但不会把需要运行时处理的数组分配/初始化逻辑优化掉，所以换成-O0结果也是一样的，这个选项不影响这种计数差异的出现。

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