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

--- Comment #3 from Mike Vermeulen <mike at vermeulen dot com> ---
dmesg does confirm it was killed by OOM.

Relevant entries:

[27546]     0 27546    27116        1   4       0             0 bash
[27578]     0 27578    26084        7  13       0             0 gcc
[27579]     0 27579 31860193 30405249  18       0             0 cc1


Out of memory: Kill process 27579 (cc1) score 877 or sacrifice child
Killed process 27579, UID 0, (cc1) total-vm:127440772kB, anon-rss:121620876kB,
file-rss:120kB

Reply via email to