Re: CVS commit: src/share/man/man9

[Jukka Ruohonen <jruohonen%iki.fi@localhost>]

On Tue, Jan 25, 2011 at 11:46:48PM +0000, YAMAMOTO Takashi wrote:
> - add some random notes
> 
>      Basically, KASSERT() should be used for light-weight checks and
>      KDASSERT() should be used for heavier ones.
> 
>      Callers should not rely on the side effects of expression because,
>      depending on the kernel compile options mentioned above, expression might
>      not be evaluated at all.

I guess the newly added KDASSERTMSG() should be documented too.

- Jukka.