Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_constraints.c274 char *get_required_constraint(const char *data_str) in get_required_constraint() function
307 required = get_required_constraint(data_str); in unmet_constraint()
H A Dcheck_index_overflow.c189 required = get_required_constraint(data_str); in constraint_met()
H A Dsmatch.h1276 char *get_required_constraint(const char *data_str);