https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106938
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |13.0
Ever confirmed|0 |1
Status|UNCONFIRMED |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot
gnu.org
Last reconfirmed| |2022-09-14
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Oh, another case.
t.c:22:1: error: basic block 3 has no control altering stmt but 2 outgoing
edges
22 | foo (void)
| ^~~
<bb 3> [local count: 440058051]:
# uninitialized_3(ab) = PHI <uninitialized_6(ab)(4), uninitialized_5(6)>
goto <bb 5>; [99.96%]
I suppose I should try to push the part of the verifier that "works". I'm
going to keep the assert in uninit analysis since it's nice to catch all these
bugs.
