[Bug fortran/64381] New: ICE with initialization of procedure pointer in type

[Bug fortran/64381] New: ICE with initialization of procedure pointer in type

[valeryweber at hotmail dot com]

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

            Bug ID: 64381
           Summary: ICE with initialization of procedure pointer in type
           Product: gcc
           Version: 4.9.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: valeryweber at hotmail dot com

Dear All

the following code is producing an ICE with gcc 4.9.2.

v

cat gcc-4.9.2.f90 
MODULE distribution_types_
  IMPLICIT NONE
  ABSTRACT INTERFACE
     FUNCTION dist_map_proc_to_blk_raw_list_func ( ) RESULT( list )
       INTEGER, DIMENSION(:,:), ALLOCATABLE :: list
     END FUNCTION dist_map_proc_to_blk_raw_list_func
  END INTERFACE
  TYPE, PUBLIC :: sm_type
     INTEGER, DIMENSION( : ), ALLOCATABLE :: proc_grid
     PROCEDURE( dist_map_proc_to_blk_raw_list_func ), NOPASS, POINTER ::
map_proc_to_blk_raw_list => NULL( )
  END TYPE sm_type
CONTAINS
  SUBROUTINE sm_multiply ( )
    TYPE(sm_type), ALLOCATABLE, DIMENSION(:) :: matrices_a
    ALLOCATE( matrices_a( 3 ) )
  END SUBROUTINE sm_multiply
END MODULE distribution_types_

gfortran-4.9.2 -c gcc-4.9.2.f90 
gcc-4.9.2.f90: In function ‘sm_multiply’:
gcc-4.9.2.f90:15:0: internal compiler error: in gfc_conv_descriptor_data_set,
at fortran/trans-array.c:171
     ALLOCATE( matrices_a( 3 ) )
 ^
0x5ebd56 gfc_conv_descriptor_data_set
    ../../gcc-4.9.2/gcc/fortran/trans-array.c:171
0x5ebd56 gfc_conv_descriptor_data_set(stmtblock_t*, tree_node*, tree_node*)
    ../../gcc-4.9.2/gcc/fortran/trans-array.c:166
0x5f370d structure_alloc_comps
    ../../gcc-4.9.2/gcc/fortran/trans-array.c:7785
0x5f305f structure_alloc_comps
    ../../gcc-4.9.2/gcc/fortran/trans-array.c:7646
0x5f4546 gfc_array_allocate(gfc_se*, gfc_expr*, tree_node*, tree_node*,
tree_node*, tree_node*, tree_node*, tree_node**, gfc_expr*, gfc_typespec*)
    ../../gcc-4.9.2/gcc/fortran/trans-array.c:5322
0x63c159 gfc_trans_allocate(gfc_code*)
    ../../gcc-4.9.2/gcc/fortran/trans-stmt.c:4952
0x5e8907 trans_code
    ../../gcc-4.9.2/gcc/fortran/trans.c:1794
0x6081f2 gfc_generate_function_code(gfc_namespace*)
    ../../gcc-4.9.2/gcc/fortran/trans-decl.c:5653
0x5e9e41 gfc_generate_module_code(gfc_namespace*)
    ../../gcc-4.9.2/gcc/fortran/trans.c:1995
0x5a7b60 translate_all_program_units
    ../../gcc-4.9.2/gcc/fortran/parse.c:4940
0x5a7b60 gfc_parse_file()
    ../../gcc-4.9.2/gcc/fortran/parse.c:5150
0x5e4be5 gfc_be_parse_file
    ../../gcc-4.9.2/gcc/fortran/f95-lang.c:212
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
>From gcc-bugs-return-471618-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Dec 23 08:12:12 2014
Return-Path: <gcc-bugs-return-471618-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 27998 invoked by alias); 23 Dec 2014 08:12:11 -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 27939 invoked by uid 48); 23 Dec 2014 08:12:08 -0000
From: "ubizjak at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug go/64005] make check FAIL: sync
Date: Tue, 23 Dec 2014 08:12:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: go
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ubizjak at gmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: ian at airs dot com
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-64005-4-dvamSS821u@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64005-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64005-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-12/txt/msg02625.txt.bz2
Content-length: 543

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

--- Comment #3 from Uroš Bizjak <ubizjak at gmail dot com> ---
Ian explained in an offline communication:

It's more likely that with -O2 some dead pointers appears in a stack
frame, and cause the garbage collector to think that the values are
still live, and therefore they are not collected, and therefore they
are not finalized.  The gccgo garbage collector is not precise.  Which
pointers are left live in a stack frame varies a lot depending on
processor and optimization level.
>From gcc-bugs-return-471620-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Dec 23 08:17:49 2014
Return-Path: <gcc-bugs-return-471620-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 29999 invoked by alias); 23 Dec 2014 08:17:48 -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 29799 invoked by uid 48); 23 Dec 2014 08:17:44 -0000
From: "dominiq at lps dot ens.fr" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/64173] [F03] ICE involving procedure pointer component
Date: Tue, 23 Dec 2014 08:17: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: 4.9.2
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: dominiq at lps dot ens.fr
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: janus at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-64173-4-fN7lc3LsVM@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64173-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64173-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-12/txt/msg02627.txt.bz2
Content-length: 188

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

--- Comment #8 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
*** Bug 64381 has been marked as a duplicate of this bug. ***

[Bug fortran/64381] ICE with initialization of procedure pointer in type

[dominiq at lps dot ens.fr]

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

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

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

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
I see the ICE with revision r218817, but is gone at r218817. I think this a
duplicate of pr64173 fixed by r218834.

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