| Issue |
138915
|
| Summary |
[flang] Missing diagnostic on missing DEFERRED attribute
|
| Labels |
flang:frontend
|
| Assignees |
|
| Reporter |
DanielCChen
|
Consider the following code:
```
module m1
type:: base
integer :: id
contains
procedure, nopass :: print1 => printbase
end type
type, extends(base), abstract :: child
contains
procedure(printif), deferred, nopass :: print1
end type
interface
subroutine printif()
end subroutine
end interface
contains
subroutine printbase()
print *,"hello"
end subroutine
end module
```
`print1` in type `child` has the `DEFERRED` attribute but its overridden `print1` in type `base` does not.
This usage should be diagnosed.
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
