[Bug fortran/43539] New: internal compiler error: in gfc_typenode_for_spec, at fortran/trans-types.c:995

[Bug fortran/43539] New: internal compiler error: in gfc_typenode_for_spec, at fortran/trans-types.c:995

[dominiq at lps dot ens dot fr]

Playing with the following test case (see
http://groups.google.com/group/comp.lang.fortran/browse_thread/thread/83b587a930639741#
):

program sizetest1 
   use ISO_C_BINDING 
   implicit none 
   type contains_pointer 
      integer data 
      type(contains_pointer), pointer :: next 
   end type contains_pointer 
   integer, parameter :: ik1 = selected_int_kind(2) 
   type(contains_pointer) sp 
   type(contains_pointer), target :: ap(2) 
! f90 way: 
   write(*,'(a,i0)') 'In f90: ', size(transfer(sp,(/1_ik1/))) 
! f03 way: 
   write(*,'(a,i0)') 'In f03: ', & 
      transfer(C_LOC(ap(2)),1_C_INTPTR_T)- & 
      transfer(C_LOC(ap(1)),1_C_INTPTR_T) 
! f08 way: 
   write(*,'(a,i0)') 'In f08: ', C_SIZEOF(sp) 
end program sizetest1 

if I compile without option, the executable gives:

In f90: 16
In f03: 16
In f08: 16

However if I compile with -std=f2003, I get

[macbook] f90/bug% gfc -std=f2003 deriv_size.f90
deriv_size.f90: In function 'sizetest1':
deriv_size.f90:18:0: internal compiler error: in gfc_typenode_for_spec, at
fortran/trans-types.c:995
...

I get the same error at line 904 with gfortran 4.4.2.


-- 
           Summary: internal compiler error: in gfc_typenode_for_spec, at
                    fortran/trans-types.c:995
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dominiq at lps dot ens dot fr
 GCC build triplet: x86_64-apple-darwin10
  GCC host triplet: x86_64-apple-darwin10
GCC target triplet: x86_64-apple-darwin10


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

[Bug fortran/43539] internal compiler error: in gfc_typenode_for_spec, at fortran/trans-types.c:995

[dominiq at lps dot ens dot fr]

------- Comment #1 from dominiq at lps dot ens dot fr  2010-03-26 20:35 -------
Reduced test

program sizetest1 
   use ISO_C_BINDING 
   implicit none 
   type contains_pointer 
      integer data 
      type(contains_pointer), pointer :: next 
   end type contains_pointer 
   type(contains_pointer) sp 
   write(*,'(a,i0)') 'In f08: ', C_SIZEOF(sp) 
end program sizetest1 

(gdb) bt
#0  fancy_abort (file=0x10098f878 "../../p_work/gcc/fortran/trans-types.c",
line=995, function=0x1009f8b00 "gfc_typenode_for_spec") at
../../p_work/gcc/diagnostic.c:762
#1  0x00000001000f61c8 in gfc_typenode_for_spec (spec=0x14181e1d0) at
../../p_work/gcc/fortran/trans-types.c:995
#2  0x00000001000f696b in gfc_sym_type (sym=0x14181e1b0) at
../../p_work/gcc/fortran/trans-types.c:1770
#3  0x00000001000f65fd in gfc_get_function_type (sym=0x14181e1b0) at
../../p_work/gcc/fortran/trans-types.c:2397
#4  0x00000001000bd9ce in gfc_get_extern_function_decl (sym=0x14181e1b0) at
../../p_work/gcc/fortran/trans-decl.c:1503
#5  0x00000001000cf828 in gfc_conv_procedure_call (se=0x7fff5fbfd460,
sym=0x14181e1b0, arg=<value temporarily unavailable, due to optimizations>,
expr=0x14181e350, append_args=0x0) at
../../p_work/gcc/fortran/trans-expr.c:1678
#6  0x00000001000cfbc5 in gfc_conv_function_expr (se=0x7fff5fbfd460,
expr=<value temporarily unavailable, due to optimizations>) at
../../p_work/gcc/fortran/trans-expr.c:3911
#7  0x00000001000ca219 in gfc_conv_expr_reference (se=0x7fff5fbfd460,
expr=<value temporarily unavailable, due to optimizations>) at
../../p_work/gcc/fortran/trans-expr.c:4698
#8  0x00000001000e2464 in gfc_trans_transfer (code=0x14181e4d0) at
../../p_work/gcc/fortran/trans-io.c:2259
#9  0x00000001000a7478 in trans_code (code=0x14181e4d0, cond=0x1417d0188) at
../../p_work/gcc/fortran/trans.c:1251
#10 0x00000001000e00b9 in build_dt (function=0x141df0100, code=0x14181e6e0) at
../../p_work/gcc/fortran/trans-io.c:1830
#11 0x00000001000a7498 in trans_code (code=0x14181e6e0, cond=0x0) at
../../p_work/gcc/fortran/trans.c:1223
#12 0x00000001000c3c8f in gfc_generate_function_code (ns=<value temporarily
unavailable, due to optimizations>) at
../../p_work/gcc/fortran/trans-decl.c:4380
#13 0x0000000100069b8f in gfc_parse_file () at
../../p_work/gcc/fortran/parse.c:4226
#14 0x00000001000a291c in gfc_be_parse_file (set_yydebug=<value temporarily
unavailable, due to optimizations>) at ../../p_work/gcc/fortran/f95-lang.c:239
#15 0x00000001006d6b5a in toplev_main (argc=3, argv=0x7fff5fbfd9d8) at
../../p_work/gcc/toplev.c:1053
#16 0x00000001000019e4 in start ()


-- 


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

[Bug fortran/43539] internal compiler error: in gfc_typenode_for_spec, at fortran/trans-types.c:995

[pault at gcc dot gnu dot org]

------- Comment #2 from pault at gcc dot gnu dot org  2010-03-27 07:55 -------
This is a bit odd.  SIZEOF seems to be properly registered in intrinsic.c:

  add_sym_1 ("sizeof", GFC_ISYM_SIZEOF, NO_CLASS, ACTUAL_NO, BT_INTEGER, ii,
             GFC_STD_GNU, gfc_check_sizeof, NULL, NULL,
             x, BT_UNKNOWN, 0, REQUIRED);

  make_generic ("sizeof", GFC_ISYM_SIZEOF, GFC_STD_GNU);
  make_alias ("c_sizeof", GFC_STD_F2008);


Could somebody that is a bit more familiar with the handling of intrinsics take
a look at this, please?

Confirmed

Paul


-- 

pault at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |burnus at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-03-27 07:55:42
               date|                            |


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

[Bug fortran/43539] internal compiler error: in gfc_typenode_for_spec, at fortran/trans-types.c:995

[dfranke at gcc dot gnu dot org]

------- Comment #3 from dfranke at gcc dot gnu dot org  2010-05-07 18:12 -------
$ gfortran-svn -v
gcc version 4.6.0 20100506 (experimental) (GCC) 

$ gfortran-svn -std=f2003 pr43539.f90 
pr43539.f90:9.32:

   write(*,'(a,i0)') 'In f08: ', C_SIZEOF(sp) 
                                1
Error: Function 'c_sizeof' at (1) has no IMPLICIT type


Fixed by the patch for PR40728. Nothing specific to C_SIZEOF.

*** This bug has been marked as a duplicate of 40728 ***


-- 

dfranke at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE


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