fortran - 如何强制 fortran 编译器在子程序违反 "intent(in)"的情况下生成错误，而忽略意图

Question

这个问题与我之前的问题有关:How to force compiler to interpret omitted intent as intent(inout) .将遗漏的意图解释为意图(inout)似乎是不可能的，因此违反意图(in)的问题仍然存在。

同样的例子:

module test
  implicit none
  contains

  subroutine fun1(x)
    real(8), intent(in)::x
    call fun2(x)               
  end subroutine

  subroutine fun2(x)
   real(8) :: x
   x = 10
  end subroutine
end module

gfortran 和 ifort 可以编译此代码而不会出现任何错误/警告。所以我的问题是:

当意图(in)变量传递给具有省略意图(但声明接口(interface))的子例程时，如何强制fortran编译器生成错误？

Answer 1

正如 IanH 所说，您需要一个可以为您处理的处理器(即编译器)。例如，如果你给它正确的标志，NAG 编译器就会这样做(免责声明 - 我为 NAG 工作)。我稍微修改了您的代码以使其可移植，并添加了一个驱动程序来显示这一点:

$ cat t.f90 
module test
  implicit none

  Integer, Parameter :: wp = Selected_real_kind( 12, 70 )

  contains

  subroutine fun1(x)
    real(wp), intent(in)::x
    call fun2(x)               
  end subroutine

  subroutine fun2(x)
   real(wp) :: x
   x = 10
  end subroutine
end module

Program test_test

  Use test

  Implicit None

  Real( wp ) :: x

  x = 5.0_wp

  Call fun1( x ) 

End Program test_test
$ nagfor t.f90
NAG Fortran Compiler Release 5.3.1 pre-release(904)
[NAG Fortran Compiler normal termination]
$ ./a.out
$ nagfor -C=all -C=undefined t.f90 
NAG Fortran Compiler Release 5.3.1 pre-release(904)
[NAG Fortran Compiler normal termination]
$ ./a.out
Runtime Error: t.f90, line 15: Dummy argument X is associated with an expression - cannot assign
Program terminated by fatal error
Aborted (core dumped)
$ 

所以搜索标志，可能会有一些帮助 - 如果不是向提供编译器的人提示!