| /netbsd/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| H A D | sm-pattern-test.cc | 67 bool can_purge_p (state_t s) const FINAL OVERRIDE;
139 pattern_test_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const in can_purge_p() function in ana::__anon0357de4e0111::pattern_test_state_machine
|
| H A D | sm-sensitive.cc | 67 bool can_purge_p (state_t s) const FINAL OVERRIDE;
236 sensitive_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const in can_purge_p() function in ana::__anona6f65dfd0111::sensitive_state_machine
|
| H A D | sm-signal.cc | 89 bool can_purge_p (state_t s) const FINAL OVERRIDE;
341 signal_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const in can_purge_p() function in ana::__anon74af30610111::signal_state_machine
|
| H A D | sm-taint.cc | 67 bool can_purge_p (state_t s) const FINAL OVERRIDE;
315 taint_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const in can_purge_p() function in ana::__anon108dd2a30111::taint_state_machine
|
| H A D | sm-file.cc | 66 bool can_purge_p (state_t s) const FINAL OVERRIDE;
396 fileptr_state_machine::can_purge_p (state_t s) const in can_purge_p() function in ana::__anonce26b3e30111::fileptr_state_machine
|
| H A D | program-state.h | 266 bool can_purge_p (const extrinsic_state &ext_state,
276 if (!sm.can_purge_p (smap->get_state (sid)))
|
| H A D | sm.h | 82 virtual bool can_purge_p (state_t s) const = 0;
|
| H A D | sm-malloc.cc | 72 bool can_purge_p (state_t s) const FINAL OVERRIDE;
806 malloc_state_machine::can_purge_p (state_t s) const in can_purge_p() function in ana::__anond4e7297b0111::malloc_state_machine
|
| H A D | program-state.cc | 520 if (!sm.can_purge_p (e.m_state)) in on_svalue_purge()
898 if (!new_state.can_purge_p (eg.get_ext_state (), sid)) in prune_for_point()
|
| H A D | region-model.h | 1961 virtual bool can_purge_p (svalue_id sid) = 0;
|
| /netbsd/external/gpl3/gcc/dist/gcc/analyzer/ |
| H A D | sm-pattern-test.cc | 74 bool can_purge_p (state_t s) const FINAL OVERRIDE;
152 pattern_test_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const in can_purge_p() function in ana::__anonc3c915410111::pattern_test_state_machine
|
| H A D | sm-sensitive.cc | 61 bool can_purge_p (state_t s) const FINAL OVERRIDE;
223 sensitive_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const in can_purge_p() function in ana::__anon6d2ac1d00111::sensitive_state_machine
|
| H A D | sm-signal.cc | 84 bool can_purge_p (state_t s) const FINAL OVERRIDE;
367 signal_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const in can_purge_p() function in ana::__anond54aed140111::signal_state_machine
|
| H A D | program-state.h | 244 bool can_purge_p (const extrinsic_state &ext_state, in can_purge_p() function
254 if (!sm.can_purge_p (smap->get_state (sval, ext_state))) in can_purge_p()
|
| H A D | sm-file.cc | 84 bool can_purge_p (state_t s) const FINAL OVERRIDE;
452 fileptr_state_machine::can_purge_p (state_t s) const in can_purge_p() function in ana::__anonaf35a7d60111::fileptr_state_machine
|
| H A D | program-state.cc | 552 if (!m_sm.can_purge_p (state)) in on_svalue_leak()
579 if (!m_sm.can_purge_p (e.m_state)) in on_liveness_change()
661 if (!m_sm.can_purge_p (e.m_state)) in purge_state_involving()
1154 if (!new_state.can_purge_p (eg.get_ext_state (), sval) in prune_for_point()
1237 if (!can_purge_p (ext_state, sval)) in can_purge_base_region_p()
|
| H A D | sm.h | 114 virtual bool can_purge_p (state_t s) const = 0;
|
| H A D | sm-taint.cc | 101 bool can_purge_p (state_t s) const FINAL OVERRIDE;
852 taint_state_machine::can_purge_p (state_t s ATTRIBUTE_UNUSED) const in can_purge_p() function in ana::__anon137b44f60111::taint_state_machine
|
| H A D | sm-malloc.cc | 389 bool can_purge_p (state_t s) const FINAL OVERRIDE;
2013 malloc_state_machine::can_purge_p (state_t s) const in can_purge_p() function in ana::__anon3582e62e0111::malloc_state_machine
|
| H A D | region-model.cc | 4430 if (!m_state_a->can_purge_p (*m_ext_state, sval)) in mergeable_svalue_p()
4433 if (!m_state_b->can_purge_p (*m_ext_state, sval)) in mergeable_svalue_p()
|
| H A D | ChangeLog | 1143 * program-state.h (program_state::can_purge_p): Make const.
4099 (malloc_state_machine::can_purge_p): Port to new state approach.
5001 (program_state::can_purge_p): Likewise. Pass ext_state to get_state.
5806 (region_model_context::can_purge_p): Delete.
|