Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_index_overflow.c180 static int constraint_met(struct expression *array_expr, struct expression *offset) in constraint_met() function
235 if (constraint_met(array_expr, offset)) in should_warn()