svn commit: r216954 - head/sys/kern

[Bruce Evans]

On Wed, 5 Jan 2011, John Baldwin wrote:

> On Wednesday, January 05, 2011 11:17:20 am Jaakko Heinonen wrote:
>> On 2011-01-04, John Baldwin wrote:
>>> Err, no, the point of NOTREACHED is to serve as documentation for lint(1), but
>>> that has subsequently been obsoleted by __dead2.
>>
>> style(9) is out of date then?
>
> According to bde@'s most recent e-mails, yes.

It's obviously out of date, since its only example of using NOTREACHED is 
after a usage() call, and this usage is missing a __dead2.  Of course it
doesn't use NOTREACHED after its 3 exit() calls or its 2 err() calls or
its 1 errx() call, so its "should" requirement for using NOTREACHED is
mostly not satisfied by itself.

Bruce