[Bug fortran/61766] New: [4.9 regression] ICE on trans-array.c

["juergen.reuter at desy dot de" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 61766
           Summary: [4.9 regression] ICE on trans-array.c
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: juergen.reuter at desy dot de

The following code triggers an ICE with 4.9.0 but seems to work with 4.7.X,
4.8.X, and 4.10:

gfortran  -c prc_gosam.f90
prc_gosam.f90: In function ‘__final_prc_gosam_Gosam_writer_t’:
prc_gosam.f90:62:0: internal compiler error: in gfc_conv_descriptor_data_get,
at fortran/trans-array.c:145
 end module prc_gosam
 ^

prc_gosam.f90:62:0: internal compiler error: Abort trap: 6
gfortran: internal compiler error: Abort trap: 6 (program f951)

The code is (with the standard iso_varying_string.f90):

     1    module prclib_interfaces
     2      use iso_varying_string, string_t => varying_string !NODEP!
     3      implicit none
     4      private
     5      public :: prc_writer_f_module_t
     6    
     7      type, abstract :: prc_writer_t
     8       contains
     9         procedure(get_const_string), nopass, deferred :: type_name
    10      end type prc_writer_t
    11    
    12      type, extends (prc_writer_t), abstract :: prc_writer_f_module_t
    13      end type prc_writer_f_module_t
    14      
    15      abstract interface
    16         function get_const_string () result (string)
    17           import
    18           type(string_t) :: string
    19         end function get_const_string
    20      end interface
    21    
    22    end module prclib_interfaces
    23    
    24    !!!!!
    25    
    26    module blha_config
    27      use iso_varying_string, string_t => varying_string !NODEP!
    28      implicit none
    29      private
    30      public :: blha_configuration_t
    31      type :: blha_configuration_t
    32         type(string_t), dimension (2) ::
matrix_element_square_type_other
    33      end type blha_configuration_t
    34    end module blha_config
    35    
    36    !!!!!
    37    
    38    module prc_gosam
    39      use iso_varying_string, string_t => varying_string !NODEP!
    40      use prclib_interfaces
    41      use blha_config
    42      implicit none
    43      private
    44      type, extends (prc_writer_f_module_t) :: gosam_writer_t
    45        type(blha_configuration_t) :: blha_cfg
    46      contains
    47        procedure, nopass :: type_name => gosam_writer_type_name
    48      end type gosam_writer_t
    49    
    50    contains
    51    
    52      function gosam_writer_type_name () result (string)
    53        type(string_t) :: string
    54        string = "gosam"
    55      end function gosam_writer_type_name
    56    
    57      function gosam_writer_get_process_string (writer) result (s_proc)
    58        class(gosam_writer_t), intent(in) :: writer
    59        type(string_t) :: s_proc
    60      end function gosam_writer_get_process_string
    61    
    62    end module prc_gosam
>From gcc-bugs-return-456005-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Jul 10 00:06:44 2014
Return-Path: <gcc-bugs-return-456005-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 31003 invoked by alias); 10 Jul 2014 00:06:44 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 30973 invoked by uid 48); 10 Jul 2014 00:06:40 -0000
From: "juergen.reuter at desy dot de" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/61766] [4.9 regression] ICE on trans-array.c
Date: Thu, 10 Jul 2014 00:06:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: fortran
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: juergen.reuter at desy dot de
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: attachments.created
Message-ID: <bug-61766-4-IXpXOixGaL@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61766-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61766-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-07/txt/msg00596.txt.bz2
Content-length: 256

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

--- Comment #1 from Jürgen Reuter <juergen.reuter at desy dot de> ---
Created attachment 33097
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33097&action=edit
Code that triggers the ICE
>From gcc-bugs-return-456006-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Jul 10 00:33:39 2014
Return-Path: <gcc-bugs-return-456006-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 31875 invoked by alias); 10 Jul 2014 00:33:38 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 31754 invoked by uid 48); 10 Jul 2014 00:33:28 -0000
From: "redi at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/46097] Switch to warn of global variables in a C++ shared object
Date: Thu, 10 Jul 2014 00:33:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords:
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: redi at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-46097-4-bkdYtrz9pf@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-46097-4@http.gcc.gnu.org/bugzilla/>
References: <bug-46097-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-07/txt/msg00597.txt.bz2
Content-length: 429

https://gcc.gnu.org/bugzilla/show_bug.cgi?idF097

--- Comment #33 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Write a plugin. It's trivial using gcc-python-plugin, see
http://blog.cuviper.com/2014/01/23/add-new-warnings-to-gcc-with-python/

A custom plugin is far more suitable to your purpose than adding yet another
option to GCC that has to be maintained and tested forever when most people
aren't interested in it.