--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/gfortran.dg/binding_label_tests_34.f90	Mon May 25 07:50:57 2020 +0900
@@ -0,0 +1,25 @@
+! { dg-do compile }
+! PR 94737 - global symbols are case-insensitive; an error should be
+! reported if they match (see F2018, 9.2, paragraph 2).  Original
+! test case by Lee Busby.
+
+module foo
+
+interface
+function func1(ii) result (k) bind(c, name="c_func")
+  integer :: ii
+  integer :: k
+end function func1
+subroutine sub1(ii,jj) bind(c, name="c_Func") ! { dg-error "Global binding name" }
+  integer :: ii,jj
+end subroutine sub1
+end interface
+
+contains
+
+function func2(ii) result (k) 
+  integer :: ii
+  integer :: k
+  k = func1(ii) ! { dg-error "Global binding name" }
+end function func2
+end module foo