> Pointer colors
> --------------
> void * "userland" ptr;
> Cannot be used as regular void *, but must be passed to
> functions which has same color prototype.

> Integer endianess
> -----------------
> uint32_t big_endian foo;
> Atomic variables
> ----------------
> uint32_t atomic foo;

I know just from working in the linux code that sparse already
supports at least these 3 checks. I'm not saying this to advocate the
use of sparse but to point out that the use of annotations are already
being used to good effect on kernel code and are in not in anyway
"exotic". I like the notion of K, but share the concerns that most
everyone has, and phk recognizes, about long-term maintenance of


freebsd-arch@freebsd.org mailing list
To unsubscribe, send any mail to "freebsd-arch-unsubscribe@freebsd.org"