https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101320
Bug ID: 101320
Summary: Bind(C): Missing diagnostic for constraint C1557 on
allocatable/pointer arguments
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: fortran
Assignee: unassigned at gcc dot gnu.org
Reporter: sandra at gcc dot gnu.org
Target Milestone: ---
In the WIP TS29113 testsuite posted here
https://gcc.gnu.org/pipermail/gcc-patches/2021-July/574115.html
the testcase types/c516.f90 tests the constraint labeled C516 in the TS 29113
document and C1557 in the 2018 standard:
"If proc-language-binding-spec is specified for a procedure, it shall not have
a default-initialized dummy argument with the ALLOCATABLE or POINTER
attribute."
Neither of the two places in that example that are expecting a diagnostic are
producing one.
