diff options
Diffstat (limited to 'gcc/analyzer/engine.cc')
| -rw-r--r-- | gcc/analyzer/engine.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc index 3c5d398..f911ed4 100644 --- a/gcc/analyzer/engine.cc +++ b/gcc/analyzer/engine.cc @@ -5728,7 +5728,7 @@ impl_run_checkers (logger *logger) state_purge_map *purge_map = NULL; if (flag_analyzer_state_purge) - purge_map = new state_purge_map (sg, logger); + purge_map = new state_purge_map (sg, eng.get_model_manager (), logger); if (flag_dump_analyzer_supergraph) { |