Searched refs:NOSPEC (Results 1 – 2 of 2) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_nospec.c | 83 sql_insert_caller_info(expr, NOSPEC, i, "$", ""); in match_call_info()
94 sql_insert_caller_info(call, NOSPEC, param, printed_name, ""); in struct_member_callback()
127 sql_insert_return_states(return_id, return_ranges, NOSPEC, param, param_name, ""); in returned_struct_members()
131 sql_insert_return_states(return_id, return_ranges, NOSPEC, -1, "$", ""); in returned_struct_members()
258 select_caller_info_hook(set_param_nospec, NOSPEC); in check_nospec()
264 select_return_states_hook(NOSPEC, &db_returns_nospec); in check_nospec()
|
| H A D | smatch.h | 859 NOSPEC = 1035, enumerator
|