[Bug tree-optimization/48641] New: [4.7 Regression] ICE: verify_flow_info failed: Wrong frequency of block 77 -419530 with -O -fno-tree-ccp -fno-tree-copy-prop

[zsojka at seznam dot cz]

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

           Summary: [4.7 Regression] ICE: verify_flow_info failed: Wrong
                    frequency of block 77 -419530 with -O -fno-tree-ccp
                    -fno-tree-copy-prop
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


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

Compiler output:
$ gcc -O -fno-tree-ccp -fno-tree-copy-prop gcc.dg/torture/builtin-modf-1.c
gcc.dg/torture/builtin-modf-1.c: In function 'foo':
gcc.dg/torture/builtin-modf-1.c:141:1: error: verify_flow_info: Wrong frequency
of block 77 -419530
gcc.dg/torture/builtin-modf-1.c:141:1: error: verify_flow_info: Wrong frequency
of block 76 -210696
gcc.dg/torture/builtin-modf-1.c:141: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.

Tested revisions:
r172583 - crash
4.6 r172337 - OK