Cross Reference: /src/external/gpl3/gcc.old/dist/gcc/analyzer/program-state.cc

Lines Matching refs:state_machine
74   state_machine *checker;
104    {"checkers"  : array of objects, one for each state_machine}.  */
114     state_machine *sm;
142   state_machine *sm;
178 sm_state_map::sm_state_map (const state_machine &sm)
378 state_machine::state_t
408 		  state_machine::state_t parent_state
417 	    if (state_machine::state_t parent_state
423   if (state_machine::state_t state
454 			 state_machine::state_t state,
476 			 state_machine::state_t state,
491 			      state_machine::state_t state,
529 sm_state_map::set_global_state (state_machine::state_t state)
536 state_machine::state_t
550   if (state_machine::state_t state = get_state (sval, ctxt->m_ext_state))
638     impl_set_state (*iter, (state_machine::state_t)0, NULL, ext_state);
669     impl_set_state (*iter, (state_machine::state_t)0, NULL, ext_state);
1469   state_machine::state_t state = smap->get_state (sval, ext_state);
1486   state_machine *sm = make_malloc_state_machine (NULL);
1487   auto_delete_vec <state_machine> checkers;
1491   state_machine::state_t start = sm->get_start_state ();
1495     const state_machine::state test_state_42 ("test state 42", 42);
1496     const state_machine::state_t TEST_STATE_42 = &test_state_42;
1521   const state_machine::state test_state_5 ("test state 5", 5);
1522   const state_machine::state_t TEST_STATE_5 = &test_state_5;
1574     const state_machine::state test_state_2 ("test state 2", 2);
1575     const state_machine::state_t TEST_STATE_2 = &test_state_2;
1576     const state_machine::state test_state_3 ("test state 3", 3);
1577     const state_machine::state_t TEST_STATE_3 = &test_state_3;
1615   state_machine *sm = make_malloc_state_machine (NULL);
1616   const state_machine::state_t UNCHECKED_STATE
1618   auto_delete_vec <state_machine> checkers;
1650   auto_delete_vec <state_machine> checkers;
1672   auto_delete_vec <state_machine> checkers;
1691   const state_machine::state test_state ("test state", 0);
1692   const state_machine::state_t TEST_STATE = &test_state;
1740   auto_delete_vec <state_machine> checkers;
1745   const state_machine::state test_state_0 ("test state 0", 0);
1746   const state_machine::state test_state_1 ("test state 1", 1);
1747   const state_machine::state_t TEST_STATE_0 = &test_state_0;
1748   const state_machine::state_t TEST_STATE_1 = &test_state_1;
OpenGrok
