>For my own code, I do.  I use wgcc, which is a wrapper script for gcc
>-Werror -W -Wall -Wpointer-arith -Wcast-qual -Wwrite-strings
>-Wstrict-prototypes -Wmissing-prototypes -Wno-uninitialized.

I wonder if this isn't *too* strong for the kernel -- in particular,
for ``polymorphic'' structs-of-function-pointers, like protosw?

The calling convention is (supposedly) more-or-less fixed within a
given protocol family, but varies from family to family.  Or, if you
will, the protosw switch is being used as a form of
pseudo-object-oriented programming -- like a vtbl.

This isn't going to pass strong typechecking unless the kernel is
transliterated into C++ (gack).