[Bug fortran/32797] New: [ISO C Binding] Internal Error: gfc_basic_typename(): Undefined type

[Bug fortran/32797] New: [ISO C Binding] Internal Error: gfc_basic_typename(): Undefined type

[burnus at gcc dot gnu dot org]

The following - valid? - program produces an ICE in gfortran.

Full program: http://atom.princeton.edu/donev/Fortran/DLL/dlfcn.f90
(Should be checked after the problem in the snippet below has been fixed.)


END MODULE ISO_C_UTILITIES
                         1
Internal Error at (1):
gfc_basic_typename(): Undefined type

(This snippet compiles with g95 and NAG f95, however, the generated C code of
NAG f95 does not compile with gcc ["In function
'iso_c_utilities_MP_c_f_string': conflicting types for 'strlen'"].)


MODULE ISO_C_UTILITIES
   USE ISO_C_BINDING
   implicit none
   CHARACTER(C_CHAR), DIMENSION(1), SAVE, TARGET, PRIVATE :: dummy_string="?"
CONTAINS
   FUNCTION C_F_STRING(CPTR) RESULT(FPTR)
      TYPE(C_PTR), INTENT(IN) :: CPTR ! The C address
      CHARACTER(KIND=C_CHAR), DIMENSION(:), POINTER :: FPTR
      INTERFACE
         FUNCTION strlen(string) RESULT(len) BIND(C,NAME="strlen")
            USE ISO_C_BINDING
            TYPE(C_PTR), VALUE :: string ! A C pointer
         END FUNCTION
      END INTERFACE
      CALL C_F_POINTER(FPTR=FPTR, CPTR=CPTR, SHAPE=[strlen(CPTR)])
   END FUNCTION
END MODULE ISO_C_UTILITIES


-- 
           Summary: [ISO C Binding] Internal Error: gfc_basic_typename():
                    Undefined type
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: burnus at gcc dot gnu dot org
OtherBugsDependingO 32630
             nThis:


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

[Bug fortran/32797] [ISO C Binding] Internal Error: gfc_basic_typename(): Undefined type

[burnus at gcc dot gnu dot org]

------- Comment #1 from burnus at gcc dot gnu dot org  2007-07-23 09:32 -------
Patch:
http://gcc.gnu.org/ml/gcc-patches/2007-07/msg01543.html

Cf. also PR 32800.


-- 


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

[Bug fortran/32797] [ISO C Binding] Internal Error: gfc_basic_typename(): Undefined type

[burnus at gcc dot gnu dot org]

------- Comment #2 from burnus at gcc dot gnu dot org  2007-07-23 17:47 -------
Subject: Bug 32797

Author: burnus
Date: Mon Jul 23 17:47:16 2007
New Revision: 126856

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=126856
Log:
2007-07-23  Christopher D. Rickett  <crickett@lanl.gov>

        PR fortran/32797
        PR fortran/32800
        * decl.c (verify_bind_c_sym): Use the result symbol for functions
        with a result clause.  Warn if implicitly typed.  Verify the type
        and rank of the SHAPE argument, if given.
        * resolve.c (gfc_iso_c_sub_interface): Use gfc_procedure_use to
        check the actual args against the formal, sorting them if
        necessary.
        * symbol.c (gen_shape_param): Initialize type of SHAPE param to
        BT_VOID.

2007-07-23  Christopher D. Rickett  <crickett@lanl.gov>

        PR fortran/32797
        PR fortran/32800
        * gfortran.dg/bind_c_usage_8.f03: New test case.
        * gfortran.dg/c_f_pointer_tests_2.f03: Ditto.
        * gfortran.dg/c_ptr_tests_5.f03: Updated expected error message.


Added:
    trunk/gcc/testsuite/gfortran.dg/bind_c_usage_8.f03
    trunk/gcc/testsuite/gfortran.dg/c_f_pointer_tests_2.f03
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/decl.c
    trunk/gcc/fortran/resolve.c
    trunk/gcc/fortran/symbol.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gfortran.dg/c_ptr_tests_5.f03


-- 


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

[Bug fortran/32797] [ISO C Binding] Internal Error: gfc_basic_typename(): Undefined type

[burnus at gcc dot gnu dot org]

------- Comment #3 from burnus at gcc dot gnu dot org  2007-07-23 17:51 -------
FIXED.


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED


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