Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_constraints.c343 static void save_new_constraint(const char *con) in save_new_constraint() function
368 save_new_constraint(constraint); in handle_comparison()