Searched refs:test_ineq_data (Results 1 – 1 of 1) sorted by relevance
4247 struct test_ineq_data { struct4257 static void test_ineq_data_clear(struct test_ineq_data *data) in test_ineq_data_clear() argument4271 struct test_ineq_data *data) in test_ineq_is_satisfied()4338 int l, int u, struct test_ineq_data *data) in int_between_bounds()4395 struct test_ineq_data data = { NULL, NULL }; in drop_more_redundant_divs()