1! { dg-do compile }
2! { dg-compile-aux-modules "binding_label_tests_13.f03" }
3module binding_label_tests_13_main
4  use, intrinsic :: iso_c_binding, only: c_int
5  integer(c_int) :: c3  ! { dg-error "Variable c3 from module binding_label_tests_13_main with binding label c3 at .1. uses the same global identifier as entity at .2. from module binding_label_tests_13" }
6  bind(c) c3
7
8contains
9  subroutine c_sub() BIND(c, name = "C_Sub")
10    use binding_label_tests_13 ! { dg-error "Variable c3 from module binding_label_tests_13_main with binding label c3 at .1. uses the same global identifier as entity at .2. from module binding_label_tests_13" }
11  end subroutine c_sub
12end module binding_label_tests_13_main
13! { dg-final { cleanup-modules "binding_label_tests_13" } }
14