Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_index_overflow.c290 array_size_value = value_expr(array_size); in array_check()
H A Dsmatch_expressions.c51 struct expression *value_expr(long long val) in value_expr() function
H A Dsmatch_extra.h211 struct expression *value_expr(long long val);
H A Dsmatch_implied.c1230 value = value_expr(sval.value); in impossible_assumption()
H A Dsmatch_flow.c1458 offset = value_expr(idx); in fake_element_assigns_helper()
H A Dsmatch_extra.c2265 return !possibly_false(expr, SPECIAL_NOTEQUAL, value_expr(val)); in implied_not_equal()