Searched refs:warn_on_double (Results 1 – 1 of 1) sorted by relevance
613 static void warn_on_double(struct sm_state *sm, struct smatch_state *state) in warn_on_double() function671 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()