Lines Matching refs:impl_set_state
335 impl_set_state (other_sid, state, origin); in set_state()
352 any_changed |= impl_set_state (*sid, state, origin); in set_state()
360 sm_state_map::impl_set_state (svalue_id sid, state_machine::state_t state, in impl_set_state() function in ana::sm_state_map
491 impl_set_state (sid, e.m_state, e.m_origin); in remap_svalue_ids()
548 impl_set_state (child_sid, state, parent_sid); in on_inherited_svalue()
558 impl_set_state (dst_sid, state, get_origin (src_sid)); in on_cast()
566 impl_set_state (sid, (state_machine::state_t)0, svalue_id::null ()); in on_unknown_change()
1308 map.impl_set_state (sid_x, 42, sid_z); in test_sm_state_map()
1314 map.impl_set_state (sid_y, 0, sid_z); in test_sm_state_map()
1317 map.impl_set_state (sid_x, 0, sid_z); in test_sm_state_map()
1358 map1.impl_set_state (sid_y, 5, sid_z); in test_sm_state_map()
1363 map2.impl_set_state (sid_y, 5, sid_z); in test_sm_state_map()
1377 map1.impl_set_state (svalue_id::from_int (14), 2, svalue_id::null ()); in test_sm_state_map()
1378 map1.impl_set_state (svalue_id::from_int (16), 3, svalue_id::null ()); in test_sm_state_map()
1379 map1.impl_set_state (svalue_id::from_int (1), 2, svalue_id::null ()); in test_sm_state_map()
1380 map1.impl_set_state (svalue_id::from_int (9), 2, svalue_id::null ()); in test_sm_state_map()
1382 map2.impl_set_state (svalue_id::from_int (1), 2, svalue_id::null ()); in test_sm_state_map()
1383 map2.impl_set_state (svalue_id::from_int (16), 3, svalue_id::null ()); in test_sm_state_map()
1384 map2.impl_set_state (svalue_id::from_int (14), 2, svalue_id::null ()); in test_sm_state_map()
1385 map2.impl_set_state (svalue_id::from_int (9), 2, svalue_id::null ()); in test_sm_state_map()
1398 map.impl_set_state (sid_0, 42, sid_2); in test_sm_state_map()
1446 smap->impl_set_state (ptr_sid, UNCHECKED_STATE, svalue_id::null ()); in test_program_state_dumping()
1539 smap->impl_set_state (ptr_sid, TEST_STATE, svalue_id::null ()); in test_program_state_merging()