equal
deleted
inserted
replaced
74 _summary_bytes_used += bytes; |
74 _summary_bytes_used += bytes; |
75 } |
75 } |
76 |
76 |
77 void decrease_used(size_t bytes) { |
77 void decrease_used(size_t bytes) { |
78 assert(_summary_bytes_used >= bytes, |
78 assert(_summary_bytes_used >= bytes, |
79 err_msg("invariant: _summary_bytes_used: "SIZE_FORMAT" should be >= bytes: "SIZE_FORMAT, |
79 err_msg("invariant: _summary_bytes_used: " SIZE_FORMAT " should be >= bytes: " SIZE_FORMAT, |
80 _summary_bytes_used, bytes)); |
80 _summary_bytes_used, bytes)); |
81 _summary_bytes_used -= bytes; |
81 _summary_bytes_used -= bytes; |
82 } |
82 } |
83 |
83 |
84 void set_used(size_t bytes) { |
84 void set_used(size_t bytes) { |