https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118932
Bug ID: 118932
Summary: Testcase gfortran.dg/binding_label_tests_34.f90 needs
standard checking
Product: gcc
Version: 15.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: fortran
Assignee: unassigned at gcc dot gnu.org
Reporter: anlauf at gcc dot gnu.org
Target Milestone: ---
Testcase gfortran.dg/binding_label_tests_34.f90 gives an error with gfortran,
which is checking by dg-error, but is accepted by NAG (as well as Intel and
others).
I think then testcase as is conflicts with the current standard, which says
about binding labels:
! 18.10.2 Binding labels for procedures
!
! (2) If a procedure has the BIND attribute with the NAME= specifier and
! the value of its expression, after discarding leading and trailing
! blanks, has nonzero length, the procedure has this as its binding
! label. The case of letters in the binding label is significant.
and similar wording also for variables and COMMON blocks:
! 18.9.2 Binding labels for common blocks and variables
!
! (2) If a variable or common block has the BIND attribute with the NAME=
! specifier and the value of its expression, after discarding leading and
! trailing blanks, has nonzero length, the variable or common block has
! this as its binding label. The case of letters in the binding label is
! significant.
I guess that this means that we must take care of case sensitivity when
comparing among *binding labels*, and ignore the case only when comparing
against *global symbols*. (Assuming that the committee distinguishes here.)
