[Bug middle-end/61776] [4.9/4.10 Regression] ICE: verify_flow_info failed: control flow in the middle of basic block with -fprofile-generate

[xinliangli at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61776

--- Comment #5 from davidxl <xinliangli at gmail dot com> ---
(In reply to wmi from comment #4)
> Can we move the pure/const resetting loop to an earlier place: inside
> branch_prob , after instrument_edges and before gsi_commit_edge_inserts
> (where stmt_ends_bb_p  is checked), so that gsi_commit_edge_inserts() which
> changes cfg could take reset const/pure flags into consideration?

Sounds plausible. Have you tried it?

David