[Bug fortran/88008] [9 Regression] ICE in check_typebound_baseobject, at fortran/resolve.c:6058

[tkoenig at gcc dot gnu.org]

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

--- Comment #2 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
Author: tkoenig
Date: Mon Mar 18 07:28:42 2019
New Revision: 269750

URL: https://gcc.gnu.org/viewcvs?rev=269750&root=gcc&view=rev
Log:
2019-03-17  Thomas Koenig  <tkoenig@gcc.gnu.org>

        PR fortran/88008
        * gfortran.h (expr_t): Add EXPR_UNKNOWN.
        * expr.c (gfc_copy_expr): Add EXPR_UNKNOWN to switch statement.
        (gfc_simplify_expr): Likewise.
        * module.c (mio_expr): Likewise.
        * resovle.c (extract_compcall_passed_object): Issue error on
        unknown type.
        (check_typebound_baseobject): Issue error on wrong type.
        * trans-expr.c (gfc_apply_interface_mapping_to_expr): Add
        EXPR_UNKNOWN to switch statement.

2019-03-17  Thomas Koenig  <tkoenig@gcc.gnu.org>

        PR fortran/88008
         * gfortran.dg/typebound_call_31.f90: New test.


Added:
    trunk/gcc/testsuite/gfortran.dg/typebound_call_31.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/expr.c
    trunk/gcc/fortran/gfortran.h
    trunk/gcc/fortran/module.c
    trunk/gcc/fortran/resolve.c
    trunk/gcc/fortran/trans-expr.c
    trunk/gcc/testsuite/ChangeLog