PIPS
|
Data Fields | |
bool | pcond |
control_mapping | smap |
Definition at line 1776 of file unstructured.c.
bool recursive_context::pcond |
Definition at line 1777 of file unstructured.c.
Referenced by local_process_unreachable_node().
control_mapping recursive_context::smap |
Definition at line 1778 of file unstructured.c.
Referenced by local_process_unreachable_node(), node_to_path_transformer_or_postcondition(), and print_cycle_head_to_fixpoint().