Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_kernel_user_data.c441 int points_to_user_data(struct expression *expr) in points_to_user_data() function
461 if (points_to_user_data(expr->left)) in points_to_user_data()
463 if (points_to_user_data(expr->right)) in points_to_user_data()
548 if (!points_to_user_data(right)) in handle_struct_assignment()
623 if (points_to_user_data(expr->right)) { in match_assign()
1429 if (!pointed_at_found && points_to_user_data(expr)) { in param_set_to_user_data()