Searched refs:register_impossible_return (Results 1 – 2 of 2) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ | ||
H A D | smatch_impossible.c | 104 void register_impossible_return(int id) in register_impossible_return() function |
H A D | check_list.h | 52 CK(register_impossible_return) |