Searched refs:get_old_program_state (Results 1 – 6 of 6) sorted by relevance
168 if (const program_state *old_state = get_old_program_state ()) in get_old_region_model()
277 virtual const program_state *get_old_program_state () const = 0;
1836 if (const program_state *old_state = sm_ctxt->get_old_program_state ()) in handle_free_of_non_heap()
1768 const program_state *get_old_program_state () const FINAL OVERRIDE in get_old_program_state() function
510 const program_state *get_old_program_state () const FINAL OVERRIDE in get_old_program_state() function in ana::impl_sm_context
690 (null_assignment_sm_context::get_old_program_state): New.695 * engine.cc (impl_sm_context::get_old_program_state): New.717 * sm.h (sm_context::get_old_program_state): New vfunc.