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