diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2014-08-12 00:30:13 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2014-08-12 19:18:10 +0100 |
| commit | d356ae241986282cf33a31874da1d3139960b63d (patch) | |
| tree | 651bb910fa69fec45c9ffc09a47f6096ed492809 /src/buffer_manager.cc | |
| parent | 1b54b65bb59b46718d7485e690835faf695b6410 (diff) | |
Make safe_ptr able to track callstacks
The code stays disabled, as the performance penalty is quite
high, but can be enabled to help debugging safe pointers.
Diffstat (limited to 'src/buffer_manager.cc')
0 files changed, 0 insertions, 0 deletions