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: unassig...@gcc.gnu.org ReportedBy: joost.vandevond...@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'