[Bug middle-end/45172] New: [4.6 Regression] internal compiler error: verify_flow_info failed

["jv244 at cam dot ac dot uk" <gcc-bugzilla at gcc dot gnu dot org>]

recent trunk (4.6.0 20100803 (experimental) [trunk revision 162839]) fails
with:

> gfortran -c  -fopenmp -O1 -fexceptions bug.f90
bug.f90: In function ?dbcsr_mult_m_e_e?:
bug.f90:1:0: error: verify_flow_info: Duplicate edge 28->29
bug.f90:1:0: internal compiler error: verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


> cat bug.f90
  SUBROUTINE dbcsr_mult_m_e_e ( )
    LOGICAL, PARAMETER   :: use_combined_types = .FALSE.
    INTEGER, ALLOCATABLE, DIMENSION(:, :) ::  right_index_sr
    INTEGER, ALLOCATABLE, DIMENSION(:, :, :) ::  my_sizes
    INTEGER, ALLOCATABLE,  DIMENSION(:, :, :, :) :: all_sizes
    ALLOCATE (all_sizes(4, LBOUND(my_sizes,2):UBOUND(my_sizes,2), &
              LBOUND(my_sizes,3):UBOUND(my_sizes,3), 0:numnodes-1))
          IF (use_combined_types) THEN
             CALL mp_waitall (right_index_sr)
          ENDIF
          DO ki = 0, min_nimages-1
!$omp parallel default (none) &
!$omp reduction (+: flop_single, t_all, t_dgemm)
!$omp end parallel
          ENDDO
       checksum = dbcsr_checksum (product_matrix, error)
  END SUBROUTINE dbcsr_mult_m_e_e


older gcc (gcc-4_5-branch revision 162409) is fine.


-- 
           Summary: [4.6 Regression] internal compiler error:
                    verify_flow_info failed
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jv244 at cam dot ac dot uk


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