Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_index_overflow.c193 unmet = unmet_constraint(array_expr, offset); in constraint_met()
H A Dsmatch_constraints.c294 char *unmet_constraint(struct expression *data, struct expression *offset) in unmet_constraint() function
H A Dsmatch.h1275 char *unmet_constraint(struct expression *data, struct expression *offset);