Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_db.c1670 static bool has_separate_zero_null(struct sm_state *sm) in has_separate_zero_null() function
1712 separate_zero = has_separate_zero_null(sm); in split_positive_from_negative()
1785 if (!has_separate_zero_null(sm)) in call_return_state_hooks_split_null_non_null_zero()
2065 if (!has_separate_zero_null(sm)) in split_by_null_nonnull_param()