| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| program-state.h | 261 sm_state_map *smap; local
262 FOR_EACH_VEC_ELT (m_checker_states, i, smap)
265 if (!sm.can_purge_p (smap->get_state (sval, ext_state)))
|
| engine.cc | 172 for (sm_state_map *smap : m_new_state->m_checker_states)
173 smap->on_svalue_leak (sval, this);
181 for (sm_state_map *smap : m_new_state->m_checker_states)
182 smap->on_liveness_change (live_svalues, model, m_ext_state, this);
191 for (sm_state_map *smap : m_new_state->m_checker_states)
192 smap->on_unknown_change (sval, is_mutable, m_ext_state);
215 sm_state_map *smap; local
216 FOR_EACH_VEC_ELT (m_new_state->m_checker_states, i, smap)
217 smap->purge_state_involving (sval, m_ext_state);
935 sm_state_map *smap; local
962 sm_state_map *smap; local
987 sm_state_map *smap; local
1003 sm_state_map *smap; local
[all...] |
| sm-taint.cc | 1557 sm_state_map *smap; local
1560 if (!ctxt->get_taint_map (&smap, &sm, &sm_idx))
1563 gcc_assert (smap);
1586 state = smap->get_state (index, *ext_state);
1610 state = smap->get_state (offset, *ext_state);
1641 state = smap->get_state (size_sval, *ext_state);
1671 sm_state_map *smap; local
1674 if (!ctxt->get_taint_map (&smap, &sm, &sm_idx))
1677 gcc_assert (smap);
1687 state = smap->get_state (size_in_bytes, *ext_state)
1707 sm_state_map *smap; local
1730 sm_state_map *smap; local
[all...] |
| program-state.cc | 838 of svalues represented by each smap).
915 sm_state_map *smap; local
916 FOR_EACH_VEC_ELT (other.m_checker_states, i, smap)
917 m_checker_states.quick_push (smap->clone ());
929 sm_state_map *smap; local
930 FOR_EACH_VEC_ELT (m_checker_states, i, smap)
931 delete smap;
935 FOR_EACH_VEC_ELT (other.m_checker_states, i, smap)
936 m_checker_states.quick_push (smap->clone ());
951 sm_state_map *smap; local
974 sm_state_map *smap; local
992 sm_state_map *smap; local
1013 sm_state_map *smap; local
1051 sm_state_map *smap; local
1128 sm_state_map *smap; local
1459 sm_state_map *smap; local
1670 const sm_state_map *smap = m_checker_states[sm_idx]; local
1842 sm_state_map *smap = s.m_checker_states[0]; local
1899 sm_state_map *smap = s0.m_checker_states[0]; local
[all...] |
| sm-fd.cc | 146 sm_state_map *smap,
1191 sm_state_map *smap,
1195 smap->set_state (model, fd_sval, m_valid_read_write, NULL, ext_state);
2249 sm_state_map *smap; local
2251 if (!get_fd_state (ctxt, &smap, &fd_sm, NULL, NULL))
2256 fd_sm->mark_as_valid_fd (this, smap, sval, *ext_state);
2277 sm_state_map *smap; variable
2280 if (!get_fd_state (ctxt, &smap, &fd_sm, NULL, &sm_ctxt))
2330 sm_state_map *smap; variable
2333 if (!get_fd_state (ctxt, &smap, &fd_sm, NULL, &sm_ctxt)
2381 sm_state_map *smap; variable
2433 sm_state_map *smap; variable
2488 sm_state_map *smap; variable
2564 sm_state_map *smap; local
[all...] |
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| program-state.h | 250 sm_state_map *smap; local
251 FOR_EACH_VEC_ELT (m_checker_states, i, smap)
254 if (!sm.can_purge_p (smap->get_state (sval, ext_state)))
|
| sm-taint.cc | 1031 sm_state_map *smap; local
1034 if (!ctxt->get_taint_map (&smap, &sm, &sm_idx))
1037 gcc_assert (smap);
1060 state = smap->get_state (index, *ext_state);
1077 state = smap->get_state (offset, *ext_state);
1107 state = smap->get_state (size_sval, *ext_state);
1137 sm_state_map *smap; local
1140 if (!ctxt->get_taint_map (&smap, &sm, &sm_idx))
1143 gcc_assert (smap);
1153 state = smap->get_state (size_in_bytes, *ext_state)
[all...] |
| engine.cc | 156 for (sm_state_map *smap : m_new_state->m_checker_states)
157 smap->on_svalue_leak (sval, this);
165 for (sm_state_map *smap : m_new_state->m_checker_states)
166 smap->on_liveness_change (live_svalues, model, this);
173 for (sm_state_map *smap : m_new_state->m_checker_states)
174 smap->on_unknown_change (sval, is_mutable, m_ext_state);
197 sm_state_map *smap; local
198 FOR_EACH_VEC_ELT (m_new_state->m_checker_states, i, smap)
199 smap->purge_state_involving (sval, m_ext_state);
879 sm_state_map *smap; local
905 sm_state_map *smap; local
[all...] |
| program-state.cc | 755 sm_state_map *smap; local
756 FOR_EACH_VEC_ELT (other.m_checker_states, i, smap)
757 m_checker_states.quick_push (smap->clone ());
769 sm_state_map *smap; local
770 FOR_EACH_VEC_ELT (m_checker_states, i, smap)
771 delete smap;
775 FOR_EACH_VEC_ELT (other.m_checker_states, i, smap)
776 m_checker_states.quick_push (smap->clone ());
791 sm_state_map *smap; local
792 FOR_EACH_VEC_ELT (other.m_checker_states, i, smap)
814 sm_state_map *smap; local
832 sm_state_map *smap; local
853 sm_state_map *smap; local
891 sm_state_map *smap; local
968 sm_state_map *smap; local
1268 sm_state_map *smap; local
1461 const sm_state_map *smap = m_checker_states[sm_idx]; local
1633 sm_state_map *smap = s.m_checker_states[0]; local
1690 sm_state_map *smap = s0.m_checker_states[0]; local
[all...] |
