diff options
Diffstat (limited to 'gcc/analyzer/program-state.cc')
| -rw-r--r-- | gcc/analyzer/program-state.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/analyzer/program-state.cc b/gcc/analyzer/program-state.cc index 04346ae..c9b595e 100644 --- a/gcc/analyzer/program-state.cc +++ b/gcc/analyzer/program-state.cc @@ -480,6 +480,14 @@ sm_state_map::on_cast (svalue_id src_sid, impl_set_state (dst_sid, state, get_origin (src_sid)); } +/* Purge state from SID (in response to a call to an unknown function). */ + +void +sm_state_map::on_unknown_change (svalue_id sid) +{ + impl_set_state (sid, (state_machine::state_t)0, svalue_id::null ()); +} + /* Assert that this object is sane. */ void |