| 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