Home
last modified time | relevance | path

Searched refs:set_next_state (Results 1 – 7 of 7) sorted by relevance

/netbsd-src/external/gpl3/gcc/dist/gcc/analyzer/
H A Dsm.h204 virtual void set_next_state (const gimple *stmt,
208 virtual void set_next_state (const gimple *stmt,
226 set_next_state (stmt, var, to, origin);
238 set_next_state (stmt, var, to, origin);
H A Dsm-malloc.cc1724 sm_ctxt->set_next_state (stmt, arg, in on_stmt()
1733 sm_ctxt->set_next_state (stmt, arg, m_stop); in on_stmt()
1776 sm_ctxt->set_next_state (stmt, arg, astate->get_nonnull ()); in on_stmt()
1783 sm_ctxt->set_next_state (stmt, arg, m_stop); in on_stmt()
1792 sm_ctxt->set_next_state (stmt, arg, m_stop); in on_stmt()
1813 sm_ctxt->set_next_state (call, lhs, in on_allocator_call()
1845 sm_ctxt->set_next_state (call, arg, m_stop); in handle_free_of_non_heap()
1863 sm_ctxt->set_next_state (call, arg, d->m_freed); in on_deallocator_call()
1878 sm_ctxt->set_next_state (call, arg, d->m_freed); in on_deallocator_call()
1889 sm_ctxt->set_next_state (call, arg, m_stop); in on_deallocator_call()
[all …]
H A Dsm-file.cc395 sm_ctxt->set_next_state (stmt, arg, m_stop); in on_stmt()
H A Dsm-taint.cc1004 sm_ctxt->set_next_state (assign, divisor_sval, m_stop); in check_for_tainted_divisor()
H A Ddiagnostic-manager.cc1679 void set_next_state (const gimple *stmt, in set_next_state() function
1703 void set_next_state (const gimple *stmt, in set_next_state() function
H A DChangeLog1311 (impl_sm_context::set_next_state): Likewise.
1970 (impl_sm_context::set_next_state): Use new sval when querying old
2090 (null_assignment_sm_context::set_next_state): New overload.
2093 (impl_sm_context::set_next_state): New overload.
2137 (sm_context::set_next_state): Likewise.
2680 (impl_sm_context::set_next_state): Likewise.
4101 set_next_state pairs, transitioning to the non-null state for the
4105 calls with get_state and set_next_state pairs. Drop redundant
4118 test guarding warn and set_next_state calls.
4128 test guarding warn and set_next_state calls.
[all …]
H A Dengine.cc355 void set_next_state (const gimple *stmt, in set_next_state() function in ana::impl_sm_context
384 void set_next_state (const gimple *stmt, in set_next_state() function in ana::impl_sm_context