[Bug fortran/50933] New: Wrongly regards BIND(C) types as incompatible

[burnus at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50933

             Bug #: 50933
           Summary: Wrongly regards BIND(C) types as incompatible
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: burnus@gcc.gnu.org


gfortran fails to compile the program below. I think the program is valid as
the derived type uses BIND(C). Works if one uses SEQUENCE instead of BIND(C)

Taken from
http://groups.google.com/group/comp.lang.fortran/browse_thread/thread/887251d8cd64eb02
(Richard Maine's example). For some reason, only the part of the issues raised
in the thread were fixed in PR 45211; cf. also PR 37829.

gfortran compilation fails with:

  write (*,*) liter_cb(link_info)
                       1
Error: Type mismatch in argument 'link_info' at (1); passed TYPE(info_t) to
TYPE(info_t)


MODULE liter_cb_mod
USE ISO_C_BINDING
CONTAINS
   FUNCTION liter_cb(link_info) bind(C)
     USE ISO_C_BINDING
     IMPLICIT NONE

     INTEGER(c_int) liter_cb

     TYPE, bind(C) :: info_t
        INTEGER(c_int) :: type
     END TYPE info_t

     TYPE(info_t) :: link_info

     liter_cb = 0

   END FUNCTION liter_cb

END MODULE liter_cb_mod

PROGRAM main
     USE ISO_C_BINDING
   interface
   FUNCTION liter_cb(link_info) bind(C)
     USE ISO_C_BINDING
     IMPLICIT NONE
     INTEGER(c_int) liter_cb
     TYPE, bind(C) :: info_t
        INTEGER(c_int) :: type
     END TYPE info_t
     TYPE(info_t) :: link_info
   END FUNCTION liter_cb
   end interface

      TYPE, bind(C) :: info_t
        INTEGER(c_int) :: type
     END TYPE info_t  
  type(info_t) :: link_info

  write (*,*) liter_cb(link_info)

END PROGRAM main