[Bug middle-end/50907] New: [4.7 Regression] EDGE_CROSSING incorrectly set across same section with -freorder-blocks-and-partition -fPIC -fprofile-use

[belyshev at depni dot sinp.msu.ru]

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

             Bug #: 50907
           Summary: [4.7 Regression] EDGE_CROSSING incorrectly set across
                    same section with -freorder-blocks-and-partition -fPIC
                    -fprofile-use
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: belyshev@depni.sinp.msu.ru
            Target: x86_64-unknown-linux-gnu


compilation of gcc.dg/tree-prof/pr45354.c with -O
-freorder-blocks-and-partition -fPIC -fprofile-use fails:

$ gcc pr45354.c -O -freorder-blocks-and-partition -fPIC -fprofile-generate
$./a.out
$ gcc pr45354.c -O -freorder-blocks-and-partition -fPIC -fprofile-use
pr45354.c: In function 'test_ifelse2':
pr45354.c:23:1: error: EDGE_CROSSING incorrectly set across same section
pr45354.c:23:1: internal compiler error: verify_flow_info failed


(testcase is attached also here:
http://gcc.gnu.org/bugzilla/attachment.cgi?id=22560 )