Searched refs:core_dumped (Results 1 – 1 of 1) sorted by relevance
438 int core_dumped; in await() local475 core_dumped = WCOREDUMP(status); in await()492 if (core_dumped) { in await()