[Bug middle-end/49009] New: internal compiler error: verify_gimple failed

[Joost.VandeVondele at pci dot uzh.ch]

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

           Summary: internal compiler error: verify_gimple failed
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: joost.vandevond...@pci.uzh.ch


current trunk fails with

> gfortran -flto -c  bug.f90
bug.f90: In function ‘__min_heap_MOD_heap_pop’:
bug.f90:13:0: error: invalid types in truth not
logical(kind=4)
logical(kind=4)
D.1556_3 = !D.1555_2;

bug.f90:13:0: internal compiler error: verify_gimple failed

> cat bug.f90
MODULE min_heap
  TYPE heap_t
     INTEGER :: n
  END TYPE heap_t
CONTAINS
  SUBROUTINE heap_pop (heap, key, value, found, error)
    TYPE(heap_t), INTENT(INOUT)              :: heap
    LOGICAL, INTENT(OUT)                     :: found, error
    IF (.NOT. error .AND. found) THEN
       IF (heap%n .GT. 1) THEN
       ENDIF
    ENDIF
  END SUBROUTINE heap_pop
END MODULE min_heap