mark_user_data_as_nospec (reference) in projects: illumos-gate

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

/illumos-gate/usr/src/tools/smatch/src/
H A D	check_nospec.c	`201 static void mark_user_data_as_nospec(void) in mark_user_data_as_nospec() function 235 mark_user_data_as_nospec(); in match_barrier() 240 mark_user_data_as_nospec(); in db_returns_barrier() 249 mark_user_data_as_nospec(); in select_return_stmt_cnt()`