无法禁止绑定检查

Question

首先，我不知道使用gfortran时绑定检查是自动的。用下面的代码：

gfortran -Wno-array-bounds initial_parameters.f08 derrived_types.f08 lin_alg.f08 constitutive_models.f08 input_subs.f08 Subprograms.f08 mainprog.f08 

我还是收到编译时警告：

Warning: Array reference at (1) is out of bounds (3 > 2) in dimension 2 

我可能是愚蠢的，但在这里阅读this，我认为-Wno-array-bounds是应该禁止这种警告？用-w编译成功禁止所有警告。

我不知道它是否相关，但是这些警告的来源是“Subprograms.f08”和“constitutive_models.f08”，它们都是包含子程序的模块，并在主程序中使用。如果我尝试编译一个单独的模块

gfortran -Wno-array-bounds -c constitutive_models.f08 

Answer 1

我可以证实该编译警告与gfortran（4.4）与这个简单的代码：

integer,parameter::dim=3 
integer :: x(2) 
if(dim.eq.1)write(*,*)x(dim) 
end 

警告：在（1）阵列参考超出范围（3> 2）的2维

这可以说是被认为是一个缺陷，因为人们期望编译器优化了整个if语句。注意ifort编译这个就好了。

一个非常简单的解决方法解决这个例子：

integer,parameter::dim=3 
integer :: x(2),dimx=dim 
if(dim.eq.1)write(*,*)x(dimx) 
end 

当然

因为它只是一个警告，你知道它不是一个问题，您可以选择忽略它呢！

注意在逻辑中使用该参数，以防编译器觉得稍后优化它。

Answer 2

发生

同样的行为因此，我可以建议是为了处理数据使用重载的子程序 - 那么你将有通用的行为，而不需要将维度参数明确地传递给函数（从而摆脱警告）。然后，我建议您遵循Holmz关于在测试阶段使用所有警告的建议，然后在生产构建期间将其完全关闭（-w）。现在我无法找到抑制此警告的有效方法（除了-w） - 似乎默认打开数组边界检查并且未覆盖-fno-bounds-check或-Wno-array -bounds。但重载函数可以更好的解决您的问题，实施应该是这样在这种情况下：

module functions 

    implicit none 

    interface test_dim 
     module procedure test_func1d, test_func2d, test_func3d 
    end interface ! test_dim 

    contains 

    subroutine test_func1d(input1d) 
     real, intent(in) :: input1d(:) 

     print*, "DOING 1 DIM" 
     print*, "SHAPE OF ARRAY:", shape(input1d) 
    end subroutine test_func1d 

    subroutine test_func2d(input2d) 
     real, intent(in) :: input2d(:,:) 

     print*, "DOING 2 DIM" 
     print*, "SHAPE OF ARRAY:", shape(input2d) 
    end subroutine test_func2d 

    subroutine test_func3d(input3d) 
     real, intent(in) :: input3d(:,:,:) 

     print*, "DOING 3 DIM" 
     print*, "SHAPE OF ARRAY:", shape(input3d) 
    end subroutine test_func3d 

end module functions 

program test_prog 
    use functions 

    implicit none 

    real :: case1(10), case2(20,10), case3(30, 40, 20) 

    call test_dim(case1) 
    call test_dim(case2) 
    call test_dim(case3) 
end program test_prog 

并通过此功能产生的输出是这样的：

DOING 1 DIM 
SHAPE OF ARRAY:   10 
DOING 2 DIM 
SHAPE OF ARRAY:   20   10 
DOING 3 DIM 
SHAPE OF ARRAY:   30   40   20