Searched defs:maxt (Results 1 – 2 of 2) sorted by relevance
120 mpz_t mint, maxt, minc1, maxc1; in refine_value_range_using_guard() local2887 tree subtype, maxt; in derive_constant_upper_bound_ops() local
2365 tree subtype, maxt; in derive_constant_upper_bound_ops() local