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

Reply via email to