30   const llvm::APSInt *getConstValue(ProgramStateRef state, SVal V);
76   const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal V) override;
81                      const llvm::APSInt &RHS, QualType resultTy);
93 static bool isNegationValuePreserving(const llvm::APSInt &Value,  in isNegationValuePreserving()
114                                     const llvm::APSInt &RHS,  in MakeSymIntVal()
167       const llvm::APSInt &Result = BasicVals.Convert(resultTy, RHS);  in MakeSymIntVal()
181   const llvm::APSInt *ConvertedRHS = &RHS;  in MakeSymIntVal()
220                          llvm::APSInt Bound, ProgramStateRef State) {  in isInRelation()
246   llvm::APSInt Max = AT.getMaxValue() / AT.getValue(4), Min = -Max;  in isWithinConstantOverflowBounds()
252 static bool isWithinConstantOverflowBounds(llvm::APSInt I) {  in isWithinConstantOverflowBounds()
257   llvm::APSInt Max = AT.getMaxValue() / AT.getValue(4), Min = -Max;  in isWithinConstantOverflowBounds()
261 static std::pair<SymbolRef, llvm::APSInt>
279                                    SymbolRef LSym, llvm::APSInt LInt,  in doRearrangeUnchecked()
280                                    SymbolRef RSym, llvm::APSInt RInt) {  in doRearrangeUnchecked()
308   llvm::APSInt ResultInt;  in doRearrangeUnchecked()
335   const llvm::APSInt &PersistentResultInt = BV.getValue(ResultInt);  in doRearrangeUnchecked()
344                             SymbolRef Sym, llvm::APSInt Int, QualType Ty) {  in shouldRearrange()
395   llvm::APSInt LInt, RInt;  in tryRearrange()
485           llvm::APSInt i = rhs.castAs<nonloc::ConcreteInt>().getValue();  in evalBinOpNN()
510       llvm::APSInt LHSValue = lhs.castAs<nonloc::ConcreteInt>().getValue();  in evalBinOpNN()
513       if (const llvm::APSInt *KnownRHSValue = getConstValue(state, rhs)) {  in evalBinOpNN()
514         llvm::APSInt RHSValue = *KnownRHSValue;  in evalBinOpNN()
529         const llvm::APSInt *Result =  in evalBinOpNN()
633         if (const llvm::APSInt *RHSValue = getConstValue(state, rhs)) {  in evalBinOpNN()
647               const llvm::APSInt &first = IntType.convert(symIntExpr->getRHS());  in evalBinOpNN()
648               const llvm::APSInt &second = IntType.convert(*RHSValue);  in evalBinOpNN()
657               const llvm::APSInt *newRHS;  in evalBinOpNN()
680       if (const llvm::APSInt *RHSValue = getConstValue(state, rhs))  in evalBinOpNN()
1097       const llvm::APSInt &leftI = lhsInt->getValue();  in evalBinOpLN()
1099       llvm::APSInt rightI(rhsInt->getValue(), /* isUnsigned */ true);  in evalBinOpLN()
1106       llvm::APSInt Multiplicand(rightI.getBitWidth(), /* isUnsigned */ true);  in evalBinOpLN()
1168 const llvm::APSInt *SimpleSValBuilder::getConstValue(ProgramStateRef state,  in getConstValue()
1185 const llvm::APSInt *SimpleSValBuilder::getKnownValue(ProgramStateRef state,  in getKnownValue()
1234       const llvm::APSInt *Const =  in simplifySValOnce()
1255       if (const llvm::APSInt *I =  in simplifySValOnce()