https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88944 --- Comment #2 from Eric Gallager <egallager at gcc dot gnu.org> --- (In reply to David Malcolm from comment #1) > Thanks. > > FWIW trunk (gcc 9) no longer suggests "_Bool". > > I have a patch pending (for gcc 10) which implements the header suggestion. it's gcc 10 now