• Maximilien Colange's avatar
    make valgrind understand our memory pools · 3fe74f1c
    Maximilien Colange authored
    Annotate pools with valgrind macros so that it detects errors in pool
    usage. Typically, we wish valgrind to detect a leak when the user fails
    to call proper deallocation function.
    
    * spot/misc/fixpool.hh, spot/misc/mspool.hh: here
    * configure.ac: ensure that valgrind header exists
    * tests/Makefile.am, tests/core/mempool.cc, tests/core/mempool.test,
      tests/core/.gitignore: add tests to ensure valgrind accurately detects
      leaks
    3fe74f1c
Makefile.am 12.1 KB