Searched refs:set_start_state (Results 1 – 2 of 2) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_atomic_inc_dec.c | 47 static void set_start_state(const char *name, struct symbol *sym, struct smatch_state *start) in set_start_state() function
131 set_start_state(name, sym, &dec); in db_inc_dec()
137 set_start_state(name, sym, &inc); in db_inc_dec()
|
| H A D | check_locking.c | 574 static void set_start_state(const char *name, struct symbol *sym, struct smatch_state *start) in set_start_state() function
669 set_start_state(name, sym, &unlocked); in handle_macro_lock_unlock()
675 set_start_state(name, sym, &locked); in handle_macro_lock_unlock()
699 set_start_state(name, sym, &unlocked); in do_lock()
730 set_start_state(name, sym, &locked); in do_unlock()
741 set_start_state(name, sym, &locked); in do_restore()
|