Issue 162712
Summary [flang] Missing diagnostic on invalid argument type for `extends_type_of` and `same_type_as`
Labels flang:frontend
Assignees
Reporter DanielCChen
    Consider the following code
```
module m
    type SequenceBase
        sequence
 integer i
        integer j
    end type
end module

program typeDeclaration001d
use m
    class(*), pointer :: mold1 => null()
 type(SequenceBase) :: sb1

    if(extends_type_of(sb1, mold1)) ERROR STOP(1_4)   !! Should be diagnosed
    if(same_type_as(sb1, mold1)) ERROR STOP(2_4)      !! Should be diagnosed
end
```

A sequence derived type is not allowed in these two intrinsics.
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to