diff options
Diffstat (limited to 'gcc/alloc-pool.h')
-rw-r--r-- | gcc/alloc-pool.h | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gcc/alloc-pool.h b/gcc/alloc-pool.h index 1686a8b..4e78dcf 100644 --- a/gcc/alloc-pool.h +++ b/gcc/alloc-pool.h @@ -60,7 +60,7 @@ public: /* Dump usage coupled to LOC location, where TOTAL is sum of all rows. */ inline void - dump (mem_location *loc, mem_usage &total) const + dump (mem_location *loc, const mem_usage &total) const { char *location_string = loc->to_string (); @@ -524,6 +524,12 @@ public: m_allocator.remove (object); } + inline void + remove_raw (void *object) + { + m_allocator.remove (object); + } + inline size_t num_elts_current () { |