Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_snprintf_overflow.c28 sval_t limit_size; in match_snprintf() local
38 if (!get_implied_value(dest_size_expr, &limit_size)) in match_snprintf()
40 if (dest_size > 1 && dest_size < limit_size.value) in match_snprintf()
42 sval_to_str(limit_size), dest_size); in match_snprintf()
52 if (limit_size.value < data_size) in match_snprintf()
54 data_name, data_size, sval_to_str(limit_size)); in match_snprintf()
H A Dsmatch_strlen.c169 sval_t limit_size; in match_snprintf() local
174 if (!get_implied_value(dest_size_expr, &limit_size)) in match_snprintf()
177 if (limit_size.value <= 0) in match_snprintf()
180 set_state_expr(my_strlen_id, dest, size_to_estate(limit_size.value - 1)); in match_snprintf()