Analyzing Program Performance With Sun WorkShop

declare

declare has the following syntax:

declare

mutex

mutex . . .

 

declare

rwlocks

rwlock ...

 

declare

func_ptr

targets

func ...

declare

nonreturning

func ...

 

declare

one

tag ...

 

declare

readable

var ...

 

declare

root

func ...

 

These subcommands tell LockLint things that it cannot deduce from the source presented to it.