https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99413
--- Comment #2 from Nathan Sidwell <nathan at gcc dot gnu.org> --- Correct. We're only picking headers that are either (a) user-facing or (b) included from more than one place. Specifically we're partitioning the include graph into a set of multi-reached sub-graphs. And we're maintaining a bad-list, which are the case reported here. Hope that helps.
