Searched refs:test_ineq_data (Results 1 – 1 of 1) sorted by relevance
4244 struct test_ineq_data { struct4254 static void test_ineq_data_clear(struct test_ineq_data *data) in test_ineq_data_clear() argument4268 struct test_ineq_data *data) in test_ineq_is_satisfied()4335 int l, int u, struct test_ineq_data *data) in int_between_bounds()4392 struct test_ineq_data data = { NULL, NULL }; in drop_more_redundant_divs()