https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122648
Bug ID: 122648
Summary: gimple_verify_flow_info does not verify PENDING_STMT
is null for all edges
Product: gcc
Version: 16.0
Status: UNCONFIRMED
Keywords: internal-improvement
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: pinskia at gcc dot gnu.org
Target Milestone: ---
I had assumed after each pass PENDING_STMT should be null. But we currently
don't verify this.
This came up while looking into cleanupcfg and removal of the forwarded blocks.
One of the reasons why remove_forwarder_block_with_phi and
remove_forwarder_block could not be merged was due to PENDING_STMT possibility
of having references to statements of the phi. But that seems odd for after the
pass and even during the call to cleanup_tree_cfg.
https://inbox.sourceware.org/gcc-patches/[email protected]/
