Issue |
128760
|
Summary |
[Flang] Missing diagnostic on ambiguous generic type-bound procedure
|
Labels |
flang:frontend
|
Assignees |
|
Reporter |
DanielCChen
|
Consider the following code:
```
module m
type base
integer :: i
contains
procedure, nopass :: printa
generic :: print => printa
end type
contains
subroutine printa()
print *, 'a'
end subroutine
subroutine printb()
print *, 'b'
end subroutine
end module
module n
use m
type,extends(base) :: child
integer :: j
contains
procedure, nopass :: printb
generic :: print => printb
end type
end module
```
`printa` and `printb` have the same interface. They bound to the same generic `print`. This usage should be diagnosed.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs