Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_constraints.c284 static int get_required_op(char *data_str, char *con_str) in get_required_op() argument
289 "select op from constraints_required where data = '%q' and bound = '%q'", data_str, con_str); in get_required_op()
318 char *con_str; in unmet_constraint() local
320 con_str = constraint_id_to_str(con->id); in unmet_constraint()
321 if (!con_str) { in unmet_constraint()
326 req_op = get_required_op(data_str, con_str); in unmet_constraint()
327 free_string(con_str); in unmet_constraint()