This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug gcov-profile/81442] error: verify_flow_info: REG_BR_PROB is set but cfg probability is not during RTL pass: outof_cfglayout
- From: "vries at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Mon, 17 Jul 2017 14:43:27 +0000
- Subject: [Bug gcov-profile/81442] error: verify_flow_info: REG_BR_PROB is set but cfg probability is not during RTL pass: outof_cfglayout
- Auto-submitted: auto-generated
- References: <bug-81442-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81442
--- Comment #5 from Tom de Vries <vries at gcc dot gnu.org> ---
(In reply to cesar from comment #4)
> I posted a patch that fixes this issue on July 13, 2017:
>
> https://gcc.gnu.org/ml/gcc-patches/2017-07/msg00750.html
>
> It is pending review.
Assuming this is indeed the same issue (which is not easy to verify on the spot
because the link you posted does not mention a specific ICE it's trying to fix,
nor does it reference a PR where the problem is shown in more detail), the
patches handle the issue in different ways:
- handle the case that there's an edge with uninitialized probability
- initialize probability on some edges
At first glance I'd say that one doesn't necessarily exclude the other.