topic Re: Defined assignment with assumed rank dummy argument refuses to compile in Intel® Fortran Compiler

Defined assignment with assumed rank dummy argument refuses to compile

Stijn_Schildermans — Thu, 19 Dec 2024 13:01:13 GMT

I am trying to implement a defined assignment for a derived type that is as generic as possible (i.e. the value I assign into is defined as class(*), dimension(..)). However, I can not get IFX to compile my code. Below is a minimal reproducing example:

module tesst implicit none type:: t integer:: val end type interface module subroutine get_val(val, tt) class(*), dimension(..), intent(out):: val type(t), intent(in):: tt end subroutine end interface interface assignment(=) module procedure get_val end interface contains module procedure get_val print *, 'Test' end procedure end module program test use tesst implicit none integer:: v type(t):: ttt v = ttt end program

I am not using any compilation options (ifx -o test test.f90). The compilation error I get is:

'test.f90(36): error #6303: The assignment operation or the binary expression operation is invalid for the data types of the two operands. [TTT]
v = ttt

I do not understand this, since ttt is of type(t), which I believe it should be. I already found that the problem lies in the assumed rank for the argument val, but I do not understand what is wrong with my code. Any help is appreciated.

Re: Defined assignment with assumed rank dummy argument refuses to compile

Steve_Lionel — Thu, 19 Dec 2024 15:03:11 GMT

Interesting. NAG Fortran gets an internal compiler error for this. I don't immediately see that this is invalid, but I will ask.

Re: Defined assignment with assumed rank dummy argument refuses to compile

Steve_Lionel — Fri, 20 Dec 2024 14:50:31 GMT

Compiler bug in both compilers. Your example is valid, as far as I can tell. Would one of the Intel TCEs please file a report on this? Thanks.

Re: Defined assignment with assumed rank dummy argument refuses to compile

Stijn_Schildermans — Fri, 20 Dec 2024 15:34:11 GMT

Thanks a lot for the confirmation! For now I implemented a workaround in my project using the classic interface with a defined procedure for each possible type of val, which works just fine.

Re: Defined assignment with assumed rank dummy argument refuses to compile

Devorah_H_Intel — Sat, 28 Dec 2024 00:18:00 GMT

I have reported this bug to Compiler Engineering. It will be fixed in future releases.