Lines Matching refs:on_transition
623 sm_ctxt->on_transition (node, stmt, lhs, m_start, m_unchecked); in on_stmt()
639 sm_ctxt->on_transition (node, stmt, lhs, m_start, m_non_heap); in on_stmt()
653 sm_ctxt->on_transition (node, stmt, arg, m_start, m_freed); in on_stmt()
654 sm_ctxt->on_transition (node, stmt, arg, m_unchecked, m_freed); in on_stmt()
655 sm_ctxt->on_transition (node, stmt, arg, m_nonnull, m_freed); in on_stmt()
663 sm_ctxt->on_transition (node, stmt, arg, m_freed, m_stop); in on_stmt()
668 sm_ctxt->on_transition (node, stmt, arg, m_non_heap, m_stop); in on_stmt()
691 sm_ctxt->on_transition (node, stmt, arg, m_unchecked, in on_stmt()
697 sm_ctxt->on_transition (node, stmt, arg, m_null, m_stop); in on_stmt()
718 sm_ctxt->on_transition (node, stmt, lhs, m_start, m_non_heap); in on_stmt()
739 sm_ctxt->on_transition (node, stmt, arg, m_unchecked, m_nonnull); in on_stmt()
743 sm_ctxt->on_transition (node, stmt, arg, m_null, m_stop); in on_stmt()
747 sm_ctxt->on_transition (node, stmt, arg, m_freed, m_stop); in on_stmt()
790 sm_ctxt->on_transition (node, stmt, in on_condition()
796 sm_ctxt->on_transition (node, stmt, in on_condition()
830 sm_ctxt->on_transition (node, stmt, lhs, m_start, m_null); in on_zero_assignment()
831 sm_ctxt->on_transition (node, stmt, lhs, m_unchecked, m_null); in on_zero_assignment()
832 sm_ctxt->on_transition (node, stmt, lhs, m_nonnull, m_null); in on_zero_assignment()
833 sm_ctxt->on_transition (node, stmt, lhs, m_freed, m_null); in on_zero_assignment()