Lines Matching refs:APSInt
47 const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal V) override;
54 const llvm::APSInt &RHS, QualType resultTy);
121 llvm::APSInt i = val.castAs<nonloc::ConcreteInt>().getValue();
180 llvm::APSInt i = val.castAs<loc::ConcreteInt>().getValue();
219 const llvm::APSInt &RHS,
272 const llvm::APSInt &Result = BasicVals.Convert(resultTy, RHS);
286 const llvm::APSInt *ConvertedRHS = &RHS;
314 llvm::APSInt Bound, ProgramStateRef State) {
340 llvm::APSInt Max = AT.getMaxValue() / AT.getValue(4), Min = -Max;
346 static bool isWithinConstantOverflowBounds(llvm::APSInt I) {
351 llvm::APSInt Max = AT.getMaxValue() / AT.getValue(4), Min = -Max;
355 static std::pair<SymbolRef, llvm::APSInt>
373 SymbolRef LSym, llvm::APSInt LInt,
374 SymbolRef RSym, llvm::APSInt RInt) {
403 llvm::APSInt ResultInt;
430 const llvm::APSInt &PersistentResultInt = BV.getValue(ResultInt);
439 SymbolRef Sym, llvm::APSInt Int, QualType Ty) {
493 llvm::APSInt LInt, RInt;
573 llvm::APSInt i = rhs.castAs<nonloc::ConcreteInt>().getValue();
598 llvm::APSInt LHSValue = lhs.castAs<nonloc::ConcreteInt>().getValue();
601 if (const llvm::APSInt *KnownRHSValue = getKnownValue(state, rhs)) {
602 llvm::APSInt RHSValue = *KnownRHSValue;
617 const llvm::APSInt *Result =
719 if (const llvm::APSInt *RHSValue = getKnownValue(state, rhs)) {
733 const llvm::APSInt &first = IntType.convert(symIntExpr->getRHS());
734 const llvm::APSInt &second = IntType.convert(*RHSValue);
736 const llvm::APSInt *newRHS;
766 if (const llvm::APSInt *RHSValue = getKnownValue(state, rhs))
895 const llvm::APSInt &lVal = lhs.castAs<loc::ConcreteInt>().getValue();
1144 const llvm::APSInt &leftI = lhsInt->getValue();
1146 llvm::APSInt rightI(rhsInt->getValue(), /* isUnsigned */ true);
1153 llvm::APSInt Multiplicand(rightI.getBitWidth(), /* isUnsigned */ true);
1215 const llvm::APSInt *SimpleSValBuilder::getKnownValue(ProgramStateRef state,
1268 if (const llvm::APSInt *I =
1288 // By looking at the APSInt in the right-hand side of S, we cannot