Searched defs:minc1 (Results 1 – 2 of 2) sorted by relevance
123 mpz_t mint, maxt, minc1, maxc1; in refine_value_range_using_guard() local
124 mpz_t mint, maxt, minc1, maxc1; in refine_value_range_using_guard() local