279                                    SymbolRef LSym, llvm::APSInt LInt,  in doRearrangeUnchecked()  argument
288   assert(APSIntType(LInt) == BV.getAPSIntType(SymTy) &&  in doRearrangeUnchecked()
302     return SVB.evalBinOpNN(State, Op, nonloc::ConcreteInt(LInt),  in doRearrangeUnchecked()
313     if (LInt > RInt) {  in doRearrangeUnchecked()
316       ResultInt = LInt - RInt; // Opposite order!  in doRearrangeUnchecked()
320       ResultInt = RInt - LInt; // Opposite order!  in doRearrangeUnchecked()
324     ResultInt = (Op == BO_Add) ? (LInt + RInt) : (LInt - RInt);  in doRearrangeUnchecked()
395   llvm::APSInt LInt, RInt;  in tryRearrange()  local
396   std::tie(LSym, LInt) = decomposeSymbol(LSym, BV);  in tryRearrange()
398   if (!shouldRearrange(State, Op, LSym, LInt, SingleTy) ||  in tryRearrange()
403   return doRearrangeUnchecked(State, Op, LSym, LInt, RSym, RInt);  in tryRearrange()