Wrong(?) Warning 8450 with multiple user defined operators

Wolf_W_ — Fri, 15 Jan 2016 12:15:39 GMT

Hello, the example below produces two warnings #8450:

"The type/rank signature for this specific function and its arguments matches another specific function that shares the same OPERATOR generic binding. [BINARY_OP_B]"
"The type/rank signature for this specific function and its arguments matches another specific function that shares the same OPERATOR generic binding. [BINARY_OP_C]"

The warnings disappear, when the unitary operator binding (line 24) is commented out.
Is this a bug? Or am i doing something wrong?

Greetings
Wolf

Compiler: 15.5 and 16.1

module FOO
  implicit none

!=================================================================
  type, abstract :: ABSTRACT_TYPE
  contains

    procedure :: binary_op_A
    generic :: operator(.A.) => binary_op_A

    procedure :: binary_op_B
    generic :: operator(.B.) => binary_op_B

    procedure :: binary_op_C
    generic :: operator(.C.) => binary_op_C

  end type ABSTRACT_TYPE

!=================================================================
  type, extends (ABSTRACT_TYPE) :: EXTENDED_TYPE
  contains

    procedure :: unitary_op
    generic :: operator(.U.) => unitary_op !no warning without this line
    generic :: normiere => unitary_op

  end type EXTENDED_TYPE

!=================================================================
contains
!=================================================================

  elemental function unitary_op(rhs) result(res)
    class(EXTENDED_TYPE), intent(in   ) :: rhs
    type(EXTENDED_TYPE)                 :: res
  end function unitary_op

  elemental function binary_op_A(lhs, rhs) result(res)
    class(ABSTRACT_TYPE), intent(in   ) :: lhs, rhs
    real                                :: res
  end function binary_op_A

  elemental function binary_op_B(lhs, rhs) result(res)
    class(ABSTRACT_TYPE), intent(in   ) :: lhs, rhs
    type(EXTENDED_TYPE)                 :: res
  end function binary_op_B

  elemental function binary_op_C(lhs, rhs) result(res)
    class(ABSTRACT_TYPE), intent(in   ) :: lhs, rhs
    real                                :: res
  end function binary_op_C

!=================================================================
end module FOO

To me, the compiler warnings

FortranFan — Fri, 15 Jan 2016 14:33:29 GMT

To me, the compiler warnings of 8450 seem spurious for the code shown in the original post.

That is weird... Escalated

Steven_L_Intel1 — Fri, 15 Jan 2016 17:23:50 GMT

That is weird... Escalated as issue DPD200380766.

Fixed for a release later

Steven_L_Intel1 — Tue, 29 Mar 2016 13:46:08 GMT

Fixed for a release later this year.

topic Wrong(?) Warning 8450 with multiple user defined operators in Intel® Fortran Compiler

Wrong(?) Warning 8450 with multiple user defined operators

To me, the compiler warnings

That is weird... Escalated

Fixed for a release later