Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_unreachable.c134 if (!__path_is_null()) { in unreachable_stmt()
219 known_condition_true(stmt->if_conditional) && __path_is_null()) { in turn_off_unreachable()
H A Dsmatch_flow.c661 if (!__path_is_null()) in handle_pre_loop()
825 if (__path_is_null()) in split_known_switch()
828 if (__path_is_null()) { in split_known_switch()
H A Dcheck_locking.c714 if (__path_is_null()) in do_unlock()
737 if (__path_is_null()) in do_restore()
H A Dsmatch_states.c665 int __path_is_null(void) in __path_is_null() function
H A Dsmatch_db.c2124 if (__path_is_null()) in call_return_state_hooks()
2225 if (__path_is_null()) in match_end_func_info()
H A Dsmatch.h733 int __path_is_null(void);