https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117577
--- Comment #4 from Carlos Galvez <carlosgalvezp at gmail dot com> --- >From a user perspective, it *does* look like a warning, since it's printed as -Wincompatible-pointer-types. Perhaps printing it as -Werror=incompatible-pointer-types would help clarifying it.
