[Bug middle-end/51089] New: [4.7 Regression] internal compiler error: verify_flow_info failed

[Joost.VandeVondele at pci dot uzh.ch]

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

             Bug #: 51089
           Summary: [4.7 Regression] internal compiler error:
                    verify_flow_info failed
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: Joost.VandeVondele@pci.uzh.ch


The following testcase ICEs:

MODULE xc_tfw
  INTEGER, PARAMETER :: dp=8
CONTAINS
  SUBROUTINE tfw_lda_eval ( ) 
    LOGICAL                                  :: failure
    REAL(KIND=dp), ALLOCATABLE, DIMENSION(:) :: s
    REAL(KIND=dp), DIMENSION(:, :, :), POINTER :: grho, rho
    IF (.NOT. failure) THEN
       IF ( order>=2.OR.order==-2 ) THEN
          CALL tfw_u_2 ( rho, grho,  s,  error )
       END IF
         CALL cp_a_l(0==1,cp_warning_level,routineP,16)
    END IF
  END SUBROUTINE tfw_lda_eval
  SUBROUTINE tfw_p_3 ( npoints ) 
!$omp parallel do private(ip)
    DO ip = 1, npoints
    END DO
  END SUBROUTINE tfw_p_3
END MODULE xc_tfw

For the following specific set of compile flags

gfortran -c -fopenmp -O1 -fexceptions bug.f90
bug.f90: In function ‘tfw_lda_eval’:
bug.f90:16:0: error: verify_flow_info: Duplicate edge 16->17
bug.f90:16:0: internal compiler error: verify_flow_info failed
Please submit a full bug report,

gcc version 4.7.0 20111110 (experimental) [trunk revision 181265] (GCC) 
COLLECT_GCC_OPTIONS='-c' '-fopenmp' '-O2' '-fexceptions' '-v' '-mtune=generic'
'-march=x86-64' '-pthread'