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) |