Searched refs:impl_path_context (Results 1 – 2 of 2) sorted by relevance
3598 class impl_path_context : public path_context class3601 impl_path_context (const program_state *cur_state) in impl_path_context() function in ana::impl_path_context3757 impl_path_context path_ctxt (&next_state); in process_node()
1333 (class impl_path_context): New.1335 Create an impl_path_context and pass it to exploded_node::on_stmt.