[Bug fortran/60110] New: internal compiler error

[Bug fortran/60110] New: internal compiler error

[walt.brainerd at gmail dot com]

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

            Bug ID: 60110
           Summary: internal compiler error
           Product: gcc
           Version: 4.8.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: walt.brainerd at gmail dot com

Created attachment 32079
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32079&action=edit
source file gfortran_bug.f90

Sorry, I am not sure where to begin to cut this down.
I hope you can figure it out from the error msg.

This also fails the same way on the TDM build.

$ gfortran -c gfortran_bug.f90
gfortran_bug.f90: In function 'r701t735_array':
gfortran_bug.f90:2282:0: internal compiler error: in gfc_get_symbol_decl, at
for
tran/trans-decl.c:1265
                       'mult-operand-16')
 ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://sourceforge.net/projects/mingw-w64> for instructions.

Walt@HP_Laptop /cygdrive/c/walt/Testing/U_F90_TS_15/TESTS/SYNTAX/RULES
$ gfortran --version
GNU Fortran (rev5, Built by MinGW-W64 project) 4.8.1
Copyright (C) 2013 Free Software Foundation, Inc.

I can't tell if the attachment is there or not ???

[Bug fortran/60110] internal compiler error

[walt.brainerd at gmail dot com]

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

Walt Brainerd <walt.brainerd at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |walt.brainerd at gmail dot com

--- Comment #1 from Walt Brainerd <walt.brainerd at gmail dot com> ---
OK, now I see the attachment. Sorry.

[Bug fortran/60110] internal compiler error

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-02-07
     Ever confirmed|0                           |1

--- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Confirmed for 4.7.4, 4.8.3, and trunk.

[Bug fortran/60110] internal compiler error

[dominiq at lps dot ens.fr]

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

--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
It could be a duplicate of pr52332 (ICE at the same place).

[Bug fortran/60110] internal compiler error

[sgk at troutmask dot apl.washington.edu]

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

--- Comment #5 from Steve Kargl <sgk at troutmask dot apl.washington.edu> ---
On Fri, Feb 07, 2014 at 10:11:17PM +0000, dominiq at lps dot ens.fr wrote:
> It could be a duplicate of pr52332 (ICE at the same place).
> 

It might be.  I've recall other problems of this nature.  Anyway,
here's a further reduction in the testcase

module check_sem

  implicit  none

  type check_logical
    logical  ok
  end type

  interface  assignment( = )
    module procedure check_logical_to_logical
    module procedure logical_to_check_logical
  end interface

  interface check
      module procedure check_character1_rank1
  end interface

  interface operator(**)
    function character_power_sc(l, r)
      character(*), intent(in) :: l, r
      intrinsic  len
      character(len(l)) :: character_power_sc
    end function  character_power_sc
  end interface

  contains

    subroutine check_logical_to_logical(l, r)
      logical, intent(out) :: l
      type( check_logical ), intent(in) :: r
      l = r % ok
    end subroutine check_logical_to_logical

    subroutine logical_to_check_logical(l, r)
      type( check_logical ), intent(out) :: l
      logical, intent(in) :: r
      l % ok = r
    end subroutine logical_to_check_logical

   function check_character1_rank1 (expected, computed)
      character(*,1), dimension(:), intent(in) ::  expected, computed
      type (check_logical) :: check_character1_rank1
      intrinsic all
      check_character1_rank1 = all(computed == expected)
   end function check_character1_rank1

end module check_sem

program foo
  use check_sem
  implicit none
  logical ok
  character :: y(3) = (/ 'a', 'b', 'c' /)
  ok = check(y, (/ y(1)**y(1), y(2)**y(2), y(3)**y(3) /))
end program foo

[Bug fortran/60110] ICE in gfc_get_symbol_decl, at fortran/trans-decl.c:1266

[janus at gcc dot gnu.org]

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

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
                 CC|                            |janus at gcc dot gnu.org
            Summary|internal compiler error     |ICE in gfc_get_symbol_decl,
                   |                            |at
                   |                            |fortran/trans-decl.c:1266

--- Comment #6 from janus at gcc dot gnu.org ---
Further reduced test case:


  implicit  none

  interface
    function power (l, r)
      character(*), intent(in) :: l, r
      character(len(l)) :: power
    end function
  end interface

  call check ( (/ power('a','b') /) )

 contains

   subroutine check (computed)
      character(*), dimension(1), intent(in) ::  computed
   end subroutine

end 


Same ICE (with everything from 4.4 to trunk at least).

[Bug fortran/60110] ICE in gfc_get_symbol_decl, at fortran/trans-decl.c:1266

[tkoenig at gcc dot gnu.org]

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

Thomas Koenig <tkoenig at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tkoenig at gcc dot gnu.org

--- Comment #7 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
The problem is that there is no backend_decl for "l", the argument to the power
function in the interface:

(gdb) b fancy_abort
Breakpoint 1 at 0xfedb20: file ../../trunk/gcc/diagnostic.c, line 1189.
(gdb) r
Starting program: /home/ig25/lib/gcc/x86_64-unknown-linux-gnu/4.10.0/f951
foo.f90
 MAIN__ check
Breakpoint 1, fancy_abort (file=file@entry=0x1085770
"../../trunk/gcc/fortran/trans-decl.c", 
    line=line@entry=1313, 
    function=function@entry=0x1086c20
<gfc_get_symbol_decl(gfc_symbol*)::__FUNCTION__> "gfc_get_symbol_decl") at
../../trunk/gcc/diagnostic.c:1189
warning: Source file is more recent than executable.
1189    }
(gdb) up
#1  0x0000000000623f16 in gfc_get_symbol_decl (sym=sym@entry=0x1920200)
    at ../../trunk/gcc/fortran/trans-decl.c:1313
warning: Source file is more recent than executable.
1313          gcc_assert (sym->backend_decl);
(gdb) p sym
$1 = (gfc_symbol *) 0x1920200
(gdb) p *sym
$2 = {name = 0x7ffff6d7b008 "l", module = 0x0, declared_at = {nextc =
0x191ac54, lb = 0x191abe0}, ts = {
    type = BT_CHARACTER, kind = 1, u = {derived = 0x18c9b00, cl = 0x18c9b00,
pad = 25991936}, 
    interface = 0x0, is_c_interop = 0, is_iso_c = 0, f90_type = BT_UNKNOWN,
deferred = false}, attr = {
    allocatable = 0, dimension = 0, codimension = 0, external = 0, intrinsic =
0, optional = 0, 
    pointer = 0, target = 0, value = 0, volatile_ = 0, temporary = 0, dummy =
1, result = 0, assign = 0, 
    threadprivate = 0, not_always_present = 0, implied_index = 0,
subref_array_pointer = 0, 
    proc_pointer = 0, asynchronous = 0, contiguous = 0, fe_temp = 0,
class_pointer = 0, 
    save = SAVE_NONE, data = 0, is_protected = 0, use_assoc = 0, use_only = 0,
use_rename = 0, 
    imported = 0, host_assoc = 0, in_namelist = 0, in_common = 0,
in_equivalence = 0, function = 0, 
    subroutine = 0, procedure = 0, generic = 0, generic_copy = 0, implicit_type
= 0, untyped = 0, 
    is_bind_c = 0, extension = 0, is_class = 0, class_ok = 0, vtab = 0, vtype =
0, is_c_interop = 0, 
    is_iso_c = 0, sequence = 0, elemental = 0, pure = 0, recursive = 0,
unmaskable = 0, masked = 0, 
    contained = 0, mod_proc = 0, abstract = 0, public_used = 0, implicit_pure =
0, noreturn = 0, 
    entry = 0, entry_master = 0, mixed_entry_master = 0, always_explicit = 0,
artificial = 0, 
    referenced = 1, is_main_program = 0, access = ACCESS_UNKNOWN, intent =
INTENT_IN, 
    flavor = FL_VARIABLE, if_source = IFSRC_UNKNOWN, proc = PROC_UNKNOWN,
cray_pointer = 0, 
    cray_pointee = 0, alloc_comp = 0, pointer_comp = 0, proc_pointer_comp = 0,
private_comp = 0, 
    zero_comp = 0, coarray_comp = 0, lock_comp = 0, defined_assign_comp = 0,
unlimited_polymorphic = 0, 
    select_type_temporary = 0, associate_var = 0, omp_udr_artificial_var = 0,
omp_declare_target = 0, 
    ext_attr = 0, deferred_parameter = 0, volatile_ns = 0x0, asynchronous_ns =
0x0}, generic = 0x0, 
  component_access = ACCESS_UNKNOWN, formal = 0x0, formal_ns = 0x0, f2k_derived
= 0x0, value = 0x0, 
  as = 0x0, result = 0x0, components = 0x0, cp_pointer = 0x0, entry_id = 0,
hash_value = 0, 
  common_next = 0x0, common_head = 0x0, dummy_order = 1, namelist = 0x0,
namelist_tail = 0x0, 
  old_symbol = 0x0, tlink = 0x0, mark = 1, gfc_new = 0, equiv_built = 0,
forall_index = 0, resolved = 1, 
  refs = 1, ns = 0x191f690, backend_decl = 0x0, from_intmod = INTMOD_NONE,
intmod_sym_id = 0, 
  binding_label = 0x0, common_block = 0x0, assoc = 0x0}
(gdb) p sym->backend_decl
$3 = (tree) 0x0

[Bug fortran/60110] ICE in gfc_get_symbol_decl, at fortran/trans-decl.c:1266

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |t56xjcu6dh at snkmail dot com

--- Comment #8 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
The tests in this PR compile when the patch at
https://gcc.gnu.org/ml/fortran/2015-09/msg00042.html is applied.

[Bug fortran/60110] ICE in gfc_get_symbol_decl, at fortran/trans-decl.c:1266

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

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

--- Comment #9 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
>From comment 5

> > It could be a duplicate of pr52332 (ICE at the same place).
> 
> It might be. ...

and comment 8

> The tests in this PR compile when the patch at
> https://gcc.gnu.org/ml/fortran/2015-09/msg00042.html is applied.

Marked as duplicate.

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