diff options
Diffstat (limited to 'gcc/analyzer/program-state.h')
| -rw-r--r-- | gcc/analyzer/program-state.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/analyzer/program-state.h b/gcc/analyzer/program-state.h index 75b65b7..155eaf8 100644 --- a/gcc/analyzer/program-state.h +++ b/gcc/analyzer/program-state.h @@ -184,6 +184,8 @@ public: void on_cast (svalue_id src_sid, svalue_id dst_sid); + void on_unknown_change (svalue_id sid); + void validate (const state_machine &sm, int num_svalues) const; iterator_t begin () const { return m_map.begin (); } |