[Bug middle-end/71526] New: [7 Regression] ICE: verify_gimple failed

[Joost.VandeVondele at mat dot ethz.ch]

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

            Bug ID: 71526
           Summary: [7 Regression] ICE: verify_gimple failed
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: Joost.VandeVondele at mat dot ethz.ch
  Target Milestone: ---

Overnight trunk regression, requires LTO.

> cat bug.f90
MODULE util
  INTERFACE sort
     MODULE PROCEDURE sort_cv
  END INTERFACE
CONTAINS
  SUBROUTINE sort_cv ( arr, n, index )
    CHARACTER(LEN=*), INTENT(INOUT)          :: arr(1:n)
    INTEGER, INTENT(OUT)                     :: INDEX(1:n)
    INTEGER, ALLOCATABLE, DIMENSION(:, :)    :: entries
    ALLOCATE(entries(max_length,SIZE(arr)))
  END SUBROUTINE sort_cv
END MODULE util
USE util
INTEGER, ALLOCATABLE :: ind(:)
character(len=3), ALLOCATABLE :: d(:)
CALL sort(d,N,ind)
END

> gfortran -fno-inline -flto -O2 bug.f90
bug.f90: In function ‘sort_cv.constprop’:
bug.f90:6:0: error: non-trivial conversion at assignment
   SUBROUTINE sort_cv ( arr, n, index )

logical(kind=4)
bool
_60 = _37;
bug.f90:6:0: error: type mismatch in binary expression
logical(kind=4)

bool

logical(kind=4)

_68 = _37 | _67;
bug.f90:6:0: internal compiler error: verify_gimple failed
0xaaada4 verify_gimple_in_cfg(function*, bool)
        ../../gcc/gcc/tree-cfg.c:5212
0x9908ac execute_function_todo
        ../../gcc/gcc/passes.c:1964
0x99135b execute_todo
        ../../gcc/gcc/passes.c:2016
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.
lto-wrapper: fatal error: gfortran returned 1 exit status
compilation terminated.
/data/vjoost/gnu/binutils-2.23.2/install/bin/ld: lto-wrapper failed
collect2: error: ld returned 1 exit status

> gfortran -v
Using built-in specs.
COLLECT_GCC=gfortran
COLLECT_LTO_WRAPPER=/data/vjoost/gnu/gcc_trunk/install/libexec/gcc/x86_64-pc-linux-gnu/7.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc/configure --prefix=/data/vjoost/gnu/gcc_trunk/install
--enable-languages=c,c++,fortran --disable-multilib --enable-plugins
--enable-lto --disable-bootstrap
Thread model: posix
gcc version 7.0.0 20160614 (experimental) [trunk revision 237423] (GCC)