Searched refs:is_impossible_path (Results 1 – 15 of 15) sorted by relevance
41 if (is_impossible_path()) in pre_merge_hook()60 if (is_impossible_path()) in match_symbol()88 if (is_impossible_path()) in match_dereferences()162 if (is_impossible_path()) in match_call()191 if (is_impossible_path()) in match_return()211 if (is_impossible_path()) in match_free()
41 if (is_impossible_path()) in pre_merge_hook()77 if (is_impossible_path()) in match_symbol()102 if (is_impossible_path()) in match_dereferences()178 if (is_impossible_path()) in match_call()207 if (is_impossible_path()) in match_return()225 if (is_impossible_path()) in match_free()259 if (!is_impossible_path()) { in set_param_freed()
29 if (is_impossible_path()) in pre_merge_hook()157 if (is_impossible_path()) in match_dereferences()176 if (is_impossible_path()) in match_condition()197 if (is_impossible_path()) in match_call()306 if (is_impossible_path()) in match_symbol()
79 if (is_impossible_path()) in check_dereference()116 if (is_impossible_path()) in check_dereference_name_sym()
43 if (is_impossible_path()) in match_dereference()
26 int is_impossible_path(void) in is_impossible_path() function
127 if (is_impossible_path()) in match_err_ptr()
278 if (is_impossible_path()) in match_return_info()339 if (is_impossible_path()) in check_counter()
164 if (is_impossible_path()) in array_check()
219 if (is_impossible_path()) in should_warn()
494 if (is_impossible_path()) in pre_merge_hook()1009 if (is_impossible_path()) in check_lock()
1235 ret = is_impossible_path(); in impossible_assumption()
232 int is_impossible_path(void);
242 if (is_impossible_path()) { in unmatched_comparison()
2130 if (is_impossible_path()) in call_return_state_hooks()