On Fri, Dec 2, 2022 at 3:13 PM Andrew MacLeod via Gcc-patches <gcc-patches@gcc.gnu.org> wrote: > > This consists of 3 changes which stronger type checking has indicated > are non-compliant with the type field. > > I doubt they are super important because there has not been a trap > triggered by them, and they have been in the source base since sometime > before 2017. However, we should probably fix them. > > I also notice that those are all uses of VOID_TYPE_P, which > coincidentally does not check if its a type node being checked: > > /* Nonzero if this type is the (possibly qualified) void type. */ > #define VOID_TYPE_P(NODE) (TREE_CODE (NODE) == VOID_TYPE) > > So I guess it wouldn't trap anyway, just silently never trigger. > > Bootstraps on x86_64-pc-linux-gnu with no regressions. OK for trunk?
LGTM. > Andrew
