Re: Memory leaks in Make

2019-05-14 Thread Jeffrey Walton
On Tue, May 14, 2019 at 10:40 PM Martin Dorey wrote: > > > It would be nice if Make cleaned up its resources before exiting. > > Would it? Linking all those blocks back on to free lists and coalescing > adjacent ones doesn't take a long time but it takes more time than just > tearing down the a

Re: Memory leaks in Make

2019-05-14 Thread Martin Dorey
> It would be nice if Make cleaned up its resources before exiting. Would it? Linking all those blocks back on to free lists and coalescing adjacent ones doesn't take a long time but it takes more time than just tearing down the address space. It can be a reasonable economy for short-lived pr

Memory leaks in Make

2019-05-14 Thread Jeffrey Walton
Hi Everyone, My apologies if I raised this issue already. I did not see it in the archives at https://lists.gnu.org/archive/html/bug-make/2019-04/index.html or https://lists.gnu.org/archive/html/bug-make/2019-05/index.html . I'm trying to test libidn with Asan, which is used for internationalized