|
| std::unique_ptr< operation > | clone () const final override |
| | phis_for_edge_op (std::vector< pair > &&pairs, ::edge cfg_in_edge) |
| const phis_for_edge_op * | dyn_cast_phis_for_edge_op () const final override |
| void | print_as_edge_label (pretty_printer *pp, bool user_facing) const final override |
| bool | defines_ssa_name_p (const_tree ssa_name) const final override |
| void | walk_load_store_addr_ops (void *, walk_stmt_load_store_addr_fn, walk_stmt_load_store_addr_fn, walk_stmt_load_store_addr_fn) const final override |
| void | execute (operation_context &op_ctxt) const final override |
| bool | execute_for_feasibility (const exploded_edge &, feasibility_state &, region_model_context *, std::unique_ptr< rejected_constraint > *out_rc) const override |
| bool | supports_bulk_merge_p () const final override |
| void | update_state_for_bulk_merger (const program_state &src_state, program_state &dst_state) const final override |
| void | add_any_events_for_eedge (const exploded_edge &eedge, checker_path &out_path) const final override |
| const std::vector< pair > & | get_pairs () const |
| void | dump () const |
| virtual const gimple * | maybe_get_stmt () const |
| virtual bool | execute_for_feasibility (const exploded_edge &, feasibility_state &, region_model_context *, std::unique_ptr< rejected_constraint > @endverbatim *) const |
| virtual const control_flow_op * | dyn_cast_control_flow_op () const |
| virtual const call_and_return_op * | dyn_cast_call_and_return_op () const |
| enum kind | get_kind () const |
Concrete operation subclass representing the state transition
for simultaneously handling all of the phi nodes at the entry to a BB,
after following a specific CFG in-edge.
Note that this covers multiple gimple stmts: all of the gphi stmts
at a basic block entry (albeit for just one in-edge).
This can be thought of as handling one column of the entries in the
phi nodes of a BB (for a specific in-edge).
We ignore MEM entries, and discard phi nodes purely affecting them.
