2812 static uint64_t umul_ov(uint64_t i, uint64_t j, bool &Overflow) {  in umul_ov()  argument
2814   if (j > 1 && k / j != i) Overflow = true;  in umul_ov()
2821 static uint64_t Choose(uint64_t n, uint64_t k, bool &Overflow) {  in Choose()  argument
2838     r = umul_ov(r, n-(i-1), Overflow);  in Choose()
3063       bool Overflow = false;  in getMulExpr()  local
3068              OtherAddRec->getNumOperands() - 1; x != xe && !Overflow; ++x) {  in getMulExpr()
3070         for (int y = x, ye = 2*x+1; y != ye && !Overflow; ++y) {  in getMulExpr()
3071           uint64_t Coeff1 = Choose(x, 2*x - y, Overflow);  in getMulExpr()
3074                z < ze && !Overflow; ++z) {  in getMulExpr()
3075             uint64_t Coeff2 = Choose(2*x - y, x-z, Overflow);  in getMulExpr()
3078               Coeff = umul_ov(Coeff1, Coeff2, Overflow);  in getMulExpr()
3092       if (!Overflow) {  in getMulExpr()
3226           bool Overflow = false;  in getUDivExpr()  local
3228               DivisorConstant->getAPInt().umul_ov(RHSC->getAPInt(), Overflow);  in getUDivExpr()
3229           if (Overflow) {  in getUDivExpr()