Searched refs:terminate_path (Results 1 – 10 of 10) sorted by relevance
82 void terminate_path () FINAL OVERRIDE;226 static on_stmt_flags terminate_path () in terminate_path() function236 on_stmt_flags (bool terminate_path) in on_stmt_flags()237 : m_terminate_path (terminate_path) in on_stmt_flags()
945 virtual void terminate_path () = 0;996 void terminate_path () OVERRIDE;1111 void terminate_path () OVERRIDE in terminate_path() function1113 m_inner->terminate_path (); in terminate_path()
212 impl_region_model_context::terminate_path () in terminate_path() function in ana::impl_region_model_context215 return m_path_ctxt->terminate_path (); in terminate_path()1380 bool terminate_path = false; in on_stmt() local1382 on_stmt_pre (eg, stmt, state, &terminate_path, in on_stmt()1385 if (terminate_path) in on_stmt()1386 return on_stmt_flags::terminate_path (); in on_stmt()1406 return on_stmt_flags::terminate_path (); in on_stmt()3635 void terminate_path () FINAL OVERRIDE in terminate_path() function in ana::impl_path_context4554 bool terminate_path; in maybe_update_for_edge() local4556 = m_model.on_call_pre (call, NULL, &terminate_path); in maybe_update_for_edge()
274 virtual void terminate_path () = 0;
1933 path_ctxt->terminate_path (); in on_realloc_call()1944 path_ctxt->terminate_path (); in on_realloc_call()1951 path_ctxt->terminate_path (); in on_realloc_call()
783 cd.get_ctxt ()->terminate_path (); in impl_call_realloc()
1306 (impl_region_model_context::terminate_path): New.1336 Use it to terminate iterating stmts if terminate_path is called1346 (impl_region_model_context::terminate_path): New1373 (noop_region_model_context::terminate_path): New.1378 (region_model_context::terminate_path): New.1382 (noop_region_model_context::terminate_path): New.3058 * engine.cc (exploded_node::on_stmt): Provide terminate_path
4367 noop_region_model_context::terminate_path () in terminate_path() function in ana::noop_region_model_context
199 static on_stmt_flags terminate_path () in terminate_path() function218 bool terminate_path) in on_stmt_flags()220 m_terminate_path (terminate_path) in on_stmt_flags()
1080 return on_stmt_flags::terminate_path (); in on_stmt()