diff options
Diffstat (limited to 'gcc/analyzer/program-state.h')
| -rw-r--r-- | gcc/analyzer/program-state.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/analyzer/program-state.h b/gcc/analyzer/program-state.h index 80df649..2c778cc 100644 --- a/gcc/analyzer/program-state.h +++ b/gcc/analyzer/program-state.h @@ -179,7 +179,8 @@ public: void purge_for_unknown_fncall (const exploded_graph &eg, const state_machine &sm, const gcall *call, tree fndecl, - region_model *new_model); + region_model *new_model, + region_model_context *ctxt); void remap_svalue_ids (const svalue_id_map &map); |