[flang] Incorrect result of `EXTENDS_TYPE_OF` when `MOLD` is unlimited polymorphic disassociated pointer

[DanielCChen]

Consider the following code:

class(*), pointer :: ptr1 => null()
class(*), pointer :: ptr2 => null()
allocate(integer :: ptr1)
print*, extends_type_of(ptr1, ptr2)
end

Flang outputs F, but the expected outputs is T as the standard says about intrinsic EXTENDS_TYPE_OF

Result Value. If MOLD is unlimited polymorphic and is either a disassociated pointer or unallocated allocatable variable, the result is true;...

[llvmbot]

@llvm/issue-subscribers-flang-runtime

Author: Daniel Chen (DanielCChen)

Consider the following code: ``` class(*), pointer :: ptr1 => null() class(*), pointer :: ptr2 => null() allocate(integer :: ptr1) print*, extends_type_of(ptr1, ptr2) end ```

Flang outputs F, but the expected the outputs is T as the standard says about intrinsic EXTENDS_TYPE_OF

Result Value. If MOLD is unlimited polymorphic and is either a disassociated pointer or unallocated allocatable variable, the result is true;...

[akuhlens]

Yep, I will extend this check.