diff options
Diffstat (limited to 'gcc/analyzer/program-state.h')
| -rw-r--r-- | gcc/analyzer/program-state.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/analyzer/program-state.h b/gcc/analyzer/program-state.h index 094d256..c44fc94 100644 --- a/gcc/analyzer/program-state.h +++ b/gcc/analyzer/program-state.h @@ -96,6 +96,8 @@ public: return !(*this == other); } + static int cmp (const entry_t &entry_a, const entry_t &entry_b); + state_machine::state_t m_state; const svalue *m_origin; }; @@ -157,6 +159,9 @@ public: iterator_t begin () const { return m_map.begin (); } iterator_t end () const { return m_map.end (); } + size_t elements () const { return m_map.elements (); } + + static int cmp (const sm_state_map &smap_a, const sm_state_map &smap_b); static const svalue * canonicalize_svalue (const svalue *sval, const extrinsic_state &ext_state); |