Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_constraints_required.c78 data = get_constraint_str(pointer); in save_constraint_required()
82 limit = get_constraint_str(constraint); in save_constraint_required()
150 limit = get_constraint_str(size); in handle_zero_size_arrays()
266 data = get_constraint_str(state->data); in match_assign_size()
270 limit = get_constraint_str(expr->left); in match_assign_size()
384 data = get_constraint_str(array); in match_assign_ARRAY_SIZE()
385 limit = get_constraint_str(expr->left); in match_assign_ARRAY_SIZE()
443 left = get_constraint_str(expr->left); in match_assign_constraint()
446 right = get_constraint_str(expr->right); in match_assign_constraint()
H A Dsmatch_constraints.c195 char *get_constraint_str(struct expression *expr) in get_constraint_str() function
303 data_str = get_constraint_str(data); in unmet_constraint()
363 constraint = get_constraint_str(right); in handle_comparison()
H A Dcheck_index_overflow.c185 data_str = get_constraint_str(array_expr); in constraint_met()
H A Dsmatch.h1273 char *get_constraint_str(struct expression *expr);