[Bug fortran/60414] New: internal compiler error: tree check

[Bug fortran/60414] New: internal compiler error: tree check

[antony at cosmologist dot info]

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

            Bug ID: 60414
           Summary: internal compiler error: tree check
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: antony at cosmologist dot info

module testmod

    Type T
    contains
    procedure :: FWrite
    procedure :: FWriteArr
    generic :: Write => FWrite, FWriteArr
    end Type

    contains

    subroutine FWrite(this,X)
    class(T) this
    class(*) X

    end subroutine FWrite


    subroutine FWriteArr(this,X)
    class(T) this
    class(*) X(:)

    end subroutine FWriteARr

    subroutine WriteTextVector(aname, vec, n)
    character(LEN=*), intent(IN) :: aname
    integer, intent(in) :: n
    class(*), intent(in) :: vec(n)
    integer j
    Type(T) :: Tester

    j=1
    call Tester%Write(vec(j))

    end subroutine WriteTextVector

    end module


gfortran -c TestClass.f90
TestClass.f90: In function ‘writetextvector’:
TestClass.f90:33:0: internal compiler error: tree check: expected record_type
or union_type or qual_union_type, have pointer_type in gfc_class_data_get, at
fortran/trans-expr.c:125
     call Tester%Write(vec(j))
 ^
0x8809538 tree_check_failed(tree_node const*, char const*, int, char const*,
...)
    ../../gcc-trunk/gcc/tree.c:9192
0x822c9a4 tree_check3
    ../../gcc-trunk/gcc/tree.h:2749
0x822c9a4 gfc_class_data_get(tree_node*)
    ../../gcc-trunk/gcc/fortran/trans-expr.c:125
0x823633a gfc_conv_class_to_class(gfc_se*, gfc_expr*, gfc_typespec, bool, bool,
bool, bool)
    ../../gcc-trunk/gcc/fortran/trans-expr.c:668
0x823318c gfc_conv_procedure_call(gfc_se*, gfc_symbol*, gfc_actual_arglist*,
gfc_expr*, vec<tree_node*, va_gc, vl_embed>*)
    ../../gcc-trunk/gcc/fortran/trans-expr.c:4258
0x825b86b gfc_trans_call(gfc_code*, bool, tree_node*, tree_node*, bool)
    ../../gcc-trunk/gcc/fortran/trans-stmt.c:408
0x8202064 trans_code
    ../../gcc-trunk/gcc/fortran/trans.c:1701
0x8229920 gfc_generate_function_code(gfc_namespace*)
    ../../gcc-trunk/gcc/fortran/trans-decl.c:5610
0x82036f2 gfc_generate_module_code(gfc_namespace*)
    ../../gcc-trunk/gcc/fortran/trans.c:1956
0x81c0df6 translate_all_program_units
    ../../gcc-trunk/gcc/fortran/parse.c:4523
0x81c0df6 gfc_parse_file()
    ../../gcc-trunk/gcc/fortran/parse.c:4733
0x81fd035 gfc_be_parse_file
    ../../gcc-trunk/gcc/fortran/f95-lang.c:188
Please submit a full bug report,
>From gcc-bugs-return-445410-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Mar 04 17:00:53 2014
Return-Path: <gcc-bugs-return-445410-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 9162 invoked by alias); 4 Mar 2014 17:00:52 -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 9082 invoked by uid 48); 4 Mar 2014 17:00:45 -0000
From: "dominiq at lps dot ens.fr" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/60413] extra precision not properly removed on assignment of return value
Date: Tue, 04 Mar 2014 17:00: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: 4.8.2
X-Bugzilla-Keywords:
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: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-60413-4-1Nx5w8oYsT@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-60413-4@http.gcc.gnu.org/bugzilla/>
References: <bug-60413-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-03/txt/msg00279.txt.bz2
Content-length: 169

http://gcc.gnu.org/bugzilla/show_bug.cgi?id`413

--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
I think this is another duplicate of pr323.

[Bug fortran/60414] internal compiler error: tree check

[dominiq at lps dot ens.fr]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-03-04
                 CC|                            |janus at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Confirmed on 4.8 and 4.9 (trunk).

[Bug fortran/60414] internal compiler error: tree check

[vehre at gmx dot de]

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

--- Comment #3 from Andre Vehreschild <vehre at gmx dot de> ---
Hi,

this is my first attempt on a patch. Please comment, when something is missing.

The error occurs in the translation phase, but I tracked its source to the
parse phase where parameter matching is done. The actual argument (array_ref)
is not interpreted correctly. In fact, was the current code ignoring the
array_ref and examined only the type of object to deref. 

Added check, if the actual argument is a deref.
Added testcase.
Found no regressions yet. 

- Andre

[Bug fortran/60414] internal compiler error: tree check

[dominiq at gcc dot gnu.org]

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

--- Comment #4 from dominiq at gcc dot gnu.org ---
Author: dominiq
Date: Fri Dec  5 14:15:27 2014
New Revision: 218422

URL: https://gcc.gnu.org/viewcvs?rev=218422&root=gcc&view=rev
Log:
2014-12-05  Andre Vehreschild  <vehre@gmx.de>

    PR fortran/60414
    * interface.c (compare_parameter): Remove class argument rank
    check short circuit.

2014-12-05  Andre Vehreschild  <vehre@gmx.de>

    PR fortran/60414
    * gfortran.dg/unlimited_polymorphism_18.f90: New test.


Added:
    trunk/gcc/testsuite/gfortran.dg/unlimited_polymorphic_18.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/interface.c
    trunk/gcc/testsuite/ChangeLog

[Bug fortran/60414] internal compiler error: tree check

[janus at gcc dot gnu.org]

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

--- Comment #5 from janus at gcc dot gnu.org ---
It seems the ICE is fixed on trunk. Can we close this PR?

[Bug fortran/60414] internal compiler error: tree check

[vehre at gmx dot de]

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

--- Comment #6 from Andre Vehreschild <vehre at gmx dot de> ---
I got no complains about the fix not working for someone, so at least the
status can be set to resolved.

[Bug fortran/60414] internal compiler error: tree check

[Joost.VandeVondele at mat dot ethz.ch]

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

Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |Joost.VandeVondele at mat dot ethz
                   |                            |.ch
         Resolution|---                         |FIXED

--- Comment #7 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> ---
Fixed for 5.0