https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89868
--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> --- (In reply to Jonny Grant from comment #9) > /dev/sda5 709G 479G 195G 72% / > > Would the core file be larger than 195 Gigabytes ? Yes, certainly.