[Bug libstdc++/53169] Memory leak in std::vector

[antoinep92 at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53169

--- Comment #6 from Antoine Poliakov <antoinep92 at gmail dot com> 2012-04-30 
15:31:17 UTC ---
(In reply to comment #4)
> (In reply to comment #3)
> > You should probably use sbrk and/or experiment with
> 
> Sorry, I meant use strace, *not* sbrk!

malloc_trim(0) saved the day!
Thanks again