Searched defs:varx (Results 1 – 1 of 1) sorted by relevance
558 refine_bounds_using_guard (tree type, tree varx, mpz_t offx, in refine_bounds_using_guard()727 tree varx, vary; in bound_difference() local