| sm-fd.cc | 187 state_t m_valid_read_only; member in class:ana::__anon12592::fd_state_machine 304 || change.m_new_state == m_sm.m_valid_read_only) 1062 m_valid_read_only (add_state ("fd-valid-read-only")), 1095 || s == m_valid_read_only 1154 return (state == m_unchecked_read_only || state == m_valid_read_only); 1182 else if (state == m_valid_read_only) 1510 sm_ctxt->on_transition (node, stmt, arg, m_valid_read_only, m_closed); 2184 m_valid_read_only);
|