| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| sm-file.cc | 96 state_t m_nonnull; member in class:ana::__anon15215::fileptr_state_machine
127 && change.m_new_state == m_sm.m_nonnull)
267 m_nonnull = add_state ("nonnull");
388 sm_ctxt->on_transition (node, stmt , arg, m_nonnull, m_closed);
437 lhs, m_unchecked, m_nonnull);
454 return s != m_unchecked && s != m_nonnull;
|
| sm-malloc.cc | 229 state_machine::state_t m_nonnull; member in struct:ana::__anon15216::deallocator_set
523 m_nonnull (sm->add_state ("nonnull", RS_NONNULL, this, NULL))
1444 return as_a_allocation_state (m_deallocators->m_nonnull);
1815 ? deallocators->m_nonnull
2104 m_free.m_nonnull,
|
| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| sm-file.cc | 95 state_t m_nonnull; member in class:ana::__anon12593::fileptr_state_machine
126 && change.m_new_state == m_sm.m_nonnull)
276 m_nonnull (add_state ("nonnull")),
397 sm_ctxt->on_transition (node, stmt , arg, m_nonnull, m_closed);
446 lhs, m_unchecked, m_nonnull);
463 return s != m_unchecked && s != m_nonnull;
|
| sm-malloc.cc | 253 state_machine::state_t m_nonnull; member in struct:ana::__anon12594::deallocator_set
577 m_nonnull (sm->add_state ("nonnull", RS_NONNULL, this, NULL))
1695 return as_a_allocation_state (m_deallocators->m_nonnull);
2237 ? deallocators->m_nonnull
2566 m_free.m_nonnull,
2578 smap->set_state (model, new_ptr_sval, m_free.m_nonnull, NULL, ext_state);
|
