Compiler does not catch type bound function argument's intent mismatch

abhimodak — Tue, 21 Sep 2010 22:36:18 GMT

In the snippet below, I believe the compiler is missing to catch intent(INOUT) vs Intent(IN) in subroutine Inspect.

Note that if the commented calls are used then there is a compile-time error. Thus, only if I am using type bound function syntax then the error goes undetected.

Abhi

==================

[fortran]Module OM
   
   Implicit None
   
   Type newCar
      Integer :: n
   Contains
      Procedure :: Check
      Procedure :: Inspect
      Procedure :: Test
   End Type newCar

Contains
   
   Subroutine Inspect(Car)
      Class(newCar), Intent(IN) :: Car
      Integer :: m
      !Call Check(Car)
      !Call Car%Check
      !m = Test(Car)
      m = Car%Test()
   End Subroutine Inspect
   
   Subroutine Check(Car)
      Class(newCar), Intent(INOUT) :: Car
   End Subroutine Check
   
   Function Test(Car) Result(i)
      Integer :: i
      Class(newCar), Intent(INOUT) :: Car
      i = 0
   End Function Test
   
End Module OM[/fortran]

Compiler does not catch type bound function argument's intent m

Steven_L_Intel1 — Mon, 27 Sep 2010 17:22:48 GMT

Abhi,

Thanks for bringing this to our attention. I have escalated it to the developers and will let you know when it is fixed.

Compiler does not catch type bound function argument's intent m

Steven_L_Intel1 — Sat, 05 Feb 2011 17:28:09 GMT

This issue will be fixed in Update 3 to Intel Visual Fortran Composer 2011.

topic Compiler does not catch type bound function argument's intent m in Intel® Fortran Compiler

Compiler does not catch type bound function argument's intent mismatch

Compiler does not catch type bound function argument's intent m

Compiler does not catch type bound function argument's intent m