[Bug fortran/96216] New: Gap in interface checking

[tkoenig at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96216

            Bug ID: 96216
           Summary: Gap in interface checking
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tkoenig at gcc dot gnu.org
  Target Milestone: ---

The following is not flagged:

      DOUBLE PRECISION X (1000)
      DOUBLE PRECISION A
      INTEGER NCP
      NCP = 10
      CALL XYZ (NCP, X, X (NCP + 1))
      CALL XYZ (NCP, X (NCP+1) , X)
      CALL XYZ (NCP, X (NCP+1) , A)
      END

The second call is not compatible with the third one, and should be flagged.