[Bug tree-optimization/48998] New: ICE: verify_flow_info failed: Wrong frequency of block 227 -161996 with -O3 --param max-completely-peeled-insns=5000 --param max-predicted-iterations=1

[zsojka at seznam dot cz]

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

           Summary: ICE: verify_flow_info failed: Wrong frequency of block
                    227 -161996 with -O3 --param
                    max-completely-peeled-insns=5000 --param
                    max-predicted-iterations=1
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: zso...@seznam.cz
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 24247
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24247
reduced testcase

Compiler output:
$ gcc -O3 --param max-completely-peeled-insns=5000 --param
max-predicted-iterations=1 testcase.f90 -w
testcase.f90: In function 'test':
testcase.f90:1: error: verify_flow_info: Wrong frequency of block 227 -161996
testcase.f90:1: 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.

The testcase was reduced from libgomp/testsuite/libgomp.fortran/vla[345].f90,
which give:
$ gcc -O3 --param max-completely-peeled-insns=5000 --param
max-predicted-iterations=1 tmp.f90  
tmp.f90: In function 'test':
tmp.f90:167:0: error: verify_flow_info: Wrong frequency of block 2412 -421953
tmp.f90:167:0: error: verify_flow_info: Wrong frequency of block 2410 -212029
tmp.f90:167:0: error: verify_flow_info: Wrong frequency of block 2240 -421997
tmp.f90:167:0: error: verify_flow_info: Wrong frequency of block 2238 -211986
tmp.f90:167:0: error: verify_flow_info: Wrong frequency of block 2067 -422055
tmp.f90:167:0: error: verify_flow_info: Wrong frequency of block 2066 -211338
tmp.f90:167:0: error: verify_flow_info: Wrong frequency of block 1874 -422680
tmp.f90:167:0: error: verify_flow_info: Wrong frequency of block 1871 -210004
tmp.f90:167:0: error: verify_flow_info: Wrong frequency of block 1652 -211560
tmp.f90:167:0: error: verify_flow_info: Wrong frequency of block 1437 -427383
tmp.f90:167:0: error: verify_flow_info: Wrong frequency of block 1435 -213946
tmp.f90:167: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.


All