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.