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