https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106301
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Potentially we could also track the allocated region, and complain if it is leaked. I think this would require handling of mmap/munmap in sm-malloc.cc (so that we can detect leaks), and support in the region-model code for memory-mapped regions (for aliasing support)
