| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| sm-taint.cc | 1033 unsigned sm_idx; local 1034 if (!ctxt->get_taint_map (&smap, &sm, &sm_idx)) 1139 unsigned sm_idx; local 1140 if (!ctxt->get_taint_map (&smap, &sm, &sm_idx))
|
| engine.cc | 298 int sm_idx, 308 : sm_context (sm_idx, sm), 878 int sm_idx; local 880 FOR_EACH_VEC_ELT (m_new_state->m_checker_states, sm_idx, smap) 882 const state_machine &sm = m_ext_state.get_sm (sm_idx); 883 impl_sm_context sm_ctxt (*m_eg, sm_idx, sm, m_enode_for_diag, 885 m_old_state->m_checker_states[sm_idx], 886 m_new_state->m_checker_states[sm_idx], 904 int sm_idx; local 906 FOR_EACH_VEC_ELT (m_new_state->m_checker_states, sm_idx, smap [all...] |
| program-state.cc | 1455 unsigned sm_idx; local 1456 if (!ext_state.get_sm_idx_by_name (sm_name, &sm_idx)) 1461 const sm_state_map *smap = m_checker_states[sm_idx];
|
| sm-malloc.cc | 2135 unsigned sm_idx; local 2136 if (!ctxt->get_malloc_map (&smap, &sm, &sm_idx))
|
| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| engine.cc | 281 int sm_idx, 291 : sm_context (sm_idx, sm), 550 unsigned sm_idx; local 551 if (!m_ext_state.get_sm_idx_by_name (name, &sm_idx)) 554 const state_machine *sm = &m_ext_state.get_sm (sm_idx); 555 sm_state_map *new_smap = m_new_state->m_checker_states[sm_idx]; 560 *out_sm_idx = sm_idx; 563 const sm_state_map *old_smap = m_old_state->m_checker_states[sm_idx]; 566 sm_idx, 934 int sm_idx; local 961 int sm_idx; local 986 int sm_idx; local 1002 int sm_idx; local [all...] |
| sm-taint.cc | 1559 unsigned sm_idx; local 1560 if (!ctxt->get_taint_map (&smap, &sm, &sm_idx)) 1673 unsigned sm_idx; local 1674 if (!ctxt->get_taint_map (&smap, &sm, &sm_idx)) 1709 unsigned sm_idx; local 1710 if (!ctxt->get_taint_map (&smap, &sm, &sm_idx)) 1732 unsigned sm_idx; local 1733 if (!get_taint_map (&smap, &sm, &sm_idx))
|
| program-state.cc | 1638 for (unsigned sm_idx = 0; sm_idx < m_checker_states.length (); sm_idx++) 1640 const sm_state_map *summary_sm_map = summary.m_checker_states[sm_idx]; 1641 m_checker_states[sm_idx]->replay_call_summary (r, *summary_sm_map); 1664 unsigned sm_idx; local 1665 if (!ext_state.get_sm_idx_by_name (sm_name, &sm_idx)) 1670 const sm_state_map *smap = m_checker_states[sm_idx];
|
| sm-malloc.cc | 2608 unsigned sm_idx; local 2609 if (!ctxt->get_malloc_map (&smap, &sm, &sm_idx)) 2639 unsigned sm_idx; local 2640 if (!ctxt->get_malloc_map (&smap, &sm, &sm_idx))
|