Home
last modified time | relevance | path

Searched refs:warn_on_double (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_locking.c613 static void warn_on_double(struct sm_state *sm, struct smatch_state *state) in warn_on_double() function
671 warn_on_double(sm, &locked); in handle_macro_lock_unlock()
677 warn_on_double(sm, &unlocked); in handle_macro_lock_unlock()
700 warn_on_double(sm, &locked); in do_lock()
731 warn_on_double(sm, &unlocked); in do_unlock()