class(*) allocatable allocate internal compiler error

[Patrice_l_]

Hi,

the following allocatable statement produce a internal compiler, I am pretty sure this is forbidden though.

program foo
      implicit none
      
      class(*),allocatable :: val

      
      allocate(val,mold=null())
      allocate(val,source=null())
end program

[Steven_L_Intel1]

I agree that this is not allowed, though I am still looking for the right words in the standard to say so. That NULL() is not allocated and is being used in an expression suggests to me a violation of the rule about references to unallocated variables. Nevertheless, an internal compiler error is not the appropriate response and I will let the developers know. Thanks.

[Steven_L_Intel1]

Found it: "If source-expr is a pointer, it shall be associated with a target. If source-expr is allocatable, it shall be allocated." (6.7.1.2 Execution of an ALLOCATE statement, paragraph 5). Issue ID is DPD200375620.

[Steven_L_Intel1]

Fixed for a future major release.