Home
last modified time | relevance | path

Searched refs:NOSPEC (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_nospec.c83 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 Dsmatch.h859 NOSPEC = 1035, enumerator