On 10/12/2015 12:21, Dr. David Alan Gilbert wrote: > I guess the use of abort() could tell us > that - however it's a really big assumption that in an OOM case we'd > be able to dump the information.
If it's not OOM, but just a multi-gigabyte allocation, we should. Paolo
