Symbol: is_impossible_path
usr/src/tools/smatch/src/check_atomic_inc_dec.c
278
if (is_impossible_path())
usr/src/tools/smatch/src/check_atomic_inc_dec.c
339
if (is_impossible_path())
usr/src/tools/smatch/src/check_deref.c
116
if (is_impossible_path())
usr/src/tools/smatch/src/check_deref.c
79
if (is_impossible_path())
usr/src/tools/smatch/src/check_deref_check.c
43
if (is_impossible_path())
usr/src/tools/smatch/src/check_free.c
162
if (is_impossible_path())
usr/src/tools/smatch/src/check_free.c
191
if (is_impossible_path())
usr/src/tools/smatch/src/check_free.c
211
if (is_impossible_path())
usr/src/tools/smatch/src/check_free.c
41
if (is_impossible_path())
usr/src/tools/smatch/src/check_free.c
60
if (is_impossible_path())
usr/src/tools/smatch/src/check_free.c
88
if (is_impossible_path())
usr/src/tools/smatch/src/check_free_strict.c
102
if (is_impossible_path())
usr/src/tools/smatch/src/check_free_strict.c
178
if (is_impossible_path())
usr/src/tools/smatch/src/check_free_strict.c
207
if (is_impossible_path())
usr/src/tools/smatch/src/check_free_strict.c
225
if (is_impossible_path())
usr/src/tools/smatch/src/check_free_strict.c
259
if (!is_impossible_path()) {
usr/src/tools/smatch/src/check_free_strict.c
41
if (is_impossible_path())
usr/src/tools/smatch/src/check_free_strict.c
77
if (is_impossible_path())
usr/src/tools/smatch/src/check_index_overflow.c
219
if (is_impossible_path())
usr/src/tools/smatch/src/check_locking.c
1009
if (is_impossible_path())
usr/src/tools/smatch/src/check_locking.c
494
if (is_impossible_path())
usr/src/tools/smatch/src/check_spectre.c
164
if (is_impossible_path())
usr/src/tools/smatch/src/check_uninitialized.c
157
if (is_impossible_path())
usr/src/tools/smatch/src/check_uninitialized.c
176
if (is_impossible_path())
usr/src/tools/smatch/src/check_uninitialized.c
197
if (is_impossible_path())
usr/src/tools/smatch/src/check_uninitialized.c
29
if (is_impossible_path())
usr/src/tools/smatch/src/check_uninitialized.c
306
if (is_impossible_path())
usr/src/tools/smatch/src/check_zero_to_err_ptr.c
127
if (is_impossible_path())
usr/src/tools/smatch/src/smatch.h
232
int is_impossible_path(void);
usr/src/tools/smatch/src/smatch_comparison.c
242
if (is_impossible_path()) {
usr/src/tools/smatch/src/smatch_db.c
2130
if (is_impossible_path())
usr/src/tools/smatch/src/smatch_implied.c
1235
ret = is_impossible_path();