diff options
Diffstat (limited to 'gcc/pointer-query.h')
| -rw-r--r-- | gcc/pointer-query.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/pointer-query.h b/gcc/pointer-query.h index eb7e90d..3c8172c 100644 --- a/gcc/pointer-query.h +++ b/gcc/pointer-query.h @@ -186,6 +186,9 @@ public: /* Flush the cache. */ void flush_cache (); + /* Dump statistics and optionally cache contents to DUMP_FILE. */ + void dump (FILE *, bool = false); + /* A Ranger instance. May be null to use global ranges. */ range_query *rvals; /* Cache of SSA_NAMEs. May be null to disable caching. */ |