internal compiler error: verify_gimple failed

[Dominique Dhumieres]

At revision 145853 I have a dozen ICEs of the kind:

[ibook-dhum] f90/bug% cat test_ab_3.f90
! { dg-do compile }
module foobar

  type inner_m
    real(kind(1.d0)), allocatable  :: a(:)
  end type inner_m

  type inner_p

    type(inner_m), allocatable     :: a(:) 

  end type inner_p

  type outer_p
    type(inner_p), allocatable :: bp(:) 
  end type outer_p


contains

  subroutine foo(p,info)

    implicit none
 
    type(outer_p), intent(inout)           :: p
    integer,  intent(out)         :: info

    type(inner_p), allocatable   :: bpv(:)


    allocate(bpv(2),stat=info)
    bpv(1:1) = p%bp(1:1)
    deallocate(p%bp)
    call move_alloc(bpv,p%bp)

  end subroutine foo

end module foobar
[ibook-dhum] f90/bug% gfc test_ab_3.f90
test_ab_3.f90: In function 'foo':
test_ab_3.f90:21: error: type mismatch in comparison expression
logical(kind=4)
integer(kind=4) *
integer(kind=4)
if (&stat.0 != 0) goto <D.1585>; else goto <D.1586>;

test_ab_3.f90:21: error: type mismatch in comparison expression
logical(kind=4)
integer(kind=4) *
integer(kind=4)
if (&stat.0 == 0) goto <D.1590>; else goto <D.1591>;

test_ab_3.f90:21: error: type mismatch in comparison expression
logical(kind=4)
integer(kind=4) *
integer(kind=4)
if (&stat.0 == 0) goto <D.1594>; else goto <D.1595>;

test_ab_3.f90:21: error: type mismatch in comparison expression
logical(kind=4)
integer(kind=4) *
integer(kind=4)
if (&stat.0 != 0) goto <D.1597>; else goto <D.1598>;

test_ab_3.f90:21: error: type mismatch in comparison expression
logical(kind=4)
integer(kind=4) *
integer(kind=4)
if (&stat.0 == 0) goto <D.1602>; else goto <D.1603>;

test_ab_3.f90:21: internal compiler error: verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Is it known? If not I'll fill a pr later today.

TIA

Dominique