Searched refs:ConcreteInt (Results 1 – 18 of 18) sorted by relevance
175 return getAs<nonloc::ConcreteInt>() || getAs<loc::ConcreteInt>(); in isConstant()179 if (Optional<loc::ConcreteInt> LV = getAs<loc::ConcreteInt>()) in isConstant()181 if (Optional<nonloc::ConcreteInt> NV = getAs<nonloc::ConcreteInt>()) in isConstant()195 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, in evalBinOp()197 const nonloc::ConcreteInt& R) const { in evalBinOp()202 return nonloc::ConcreteInt(*X); in evalBinOp()207 nonloc::ConcreteInt208 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const { in evalComplement()212 nonloc::ConcreteInt213 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const { in evalMinus()[all …]
101 if (!val.getAs<nonloc::ConcreteInt>()) in evalCastFromNonLoc()106 bool b = val.castAs<nonloc::ConcreteInt>().getValue().getBoolValue(); in evalCastFromNonLoc()115 llvm::APSInt i = val.castAs<nonloc::ConcreteInt>().getValue(); in evalCastFromNonLoc()143 if (!val.getAs<loc::ConcreteInt>()) in evalCastFromLoc()146 llvm::APSInt i = val.castAs<loc::ConcreteInt>().getValue(); in evalCastFromLoc()164 return val.castAs<nonloc::ConcreteInt>().evalMinus(*this); in evalMinus()173 return X.castAs<nonloc::ConcreteInt>().evalComplement(*this); in evalComplement()239 return nonloc::ConcreteInt(Result); in MakeSymIntVal()321 llvm::APSInt i = rhs.castAs<nonloc::ConcreteInt>().getValue(); in evalBinOpNN()338 llvm::APSInt LHSValue = lhs.castAs<nonloc::ConcreteInt>().getValue(); in evalBinOpNN()[all …]
445 if (Base.isUnknownOrUndef() || Base.getAs<loc::ConcreteInt>()) in getLValueElement()472 if (!BaseIdx.getAs<nonloc::ConcreteInt>()) in getLValueElement()476 BaseIdx.castAs<nonloc::ConcreteInt>().getValue(); in getLValueElement()481 if (!Offset.getAs<nonloc::ConcreteInt>()) { in getLValueElement()490 const llvm::APSInt& OffI = Offset.castAs<nonloc::ConcreteInt>().getValue(); in getLValueElement()494 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI + in getLValueElement()
81 if (Optional<nonloc::ConcreteInt> CI = val.getAs<nonloc::ConcreteInt>()) { in convertToArrayIndex()90 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){ in makeBoolVal()320 if (Optional<nonloc::ConcreteInt> rInt = RHS.getAs<nonloc::ConcreteInt>()) in makeSymExprValNN()324 if (Optional<nonloc::ConcreteInt> lInt = LHS.getAs<nonloc::ConcreteInt>()) in makeSymExprValNN()
536 V.getAs<loc::ConcreteInt>() || V.getAs<nonloc::ConcreteInt>()) { in VisitNode()585 if (V.getAs<loc::ConcreteInt>()) { in VisitNode()598 } else if (Optional<nonloc::ConcreteInt> CVal = in VisitNode()599 V.getAs<nonloc::ConcreteInt>()) { in VisitNode()627 if (V.getAs<loc::ConcreteInt>()) { in VisitNode()634 } else if (Optional<nonloc::ConcreteInt> CI = in VisitNode()635 V.getAs<nonloc::ConcreteInt>()) { in VisitNode()652 if (V.getAs<loc::ConcreteInt>()) { in VisitNode()675 } else if (Optional<nonloc::ConcreteInt> CV = in VisitNode()676 V.getAs<nonloc::ConcreteInt>()) { in VisitNode()[all …]
111 bool b = Cond.castAs<loc::ConcreteInt>().getValue() != 0; in assumeAux()213 bool b = Cond.castAs<nonloc::ConcreteInt>().getValue() != 0; in assumeAux()
301 return loc::ConcreteInt(NewV); in getSVal()303 return nonloc::ConcreteInt(NewV); in getSVal()344 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); in assumeInBound()
1133 if (Optional<nonloc::ConcreteInt> CI = index.getAs<nonloc::ConcreteInt>()) { in getAsArrayOffset()1290 if (Optional<nonloc::ConcreteInt> CI = in getAsOffset()1291 Index.getAs<nonloc::ConcreteInt>()) { in getAsOffset()
825 if (Optional<nonloc::ConcreteInt> ExtentCI = in collectSubRegionBindings()826 Extent.getAs<nonloc::ConcreteInt>()) { in collectSubRegionBindings()1276 if (L.getAs<loc::ConcreteInt>()) { in getBinding()1505 if (Optional<nonloc::ConcreteInt> CI = Idx.getAs<nonloc::ConcreteInt>()) { in getBindingForElement()1893 if (L.getAs<loc::ConcreteInt>()) in bind()
1483 if (V.getAs<loc::ConcreteInt>() || V.getAs<UndefinedVal>()) { in processIndirectGoto()1568 nonloc::ConcreteInt CaseVal(getBasicVals().getValue(V1)); in processSwitch()1579 if (CondV.getAs<nonloc::ConcreteInt>()) in processSwitch()
845 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType())); in VisitUnaryOperator()
222 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy)); in makeZeroArrayIndex()226 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy)); in makeArrayIndex()231 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) { in makeIntVal()232 return nonloc::ConcreteInt( in makeIntVal()237 nonloc::ConcreteInt makeBoolVal(const ObjCBoolLiteralExpr *boolean) { in makeBoolVal()241 nonloc::ConcreteInt makeBoolVal(const CXXBoolLiteralExpr *boolean);243 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { in makeIntVal()244 return nonloc::ConcreteInt(BasicVals.getValue(integer)); in makeIntVal()247 loc::ConcreteInt makeIntLocVal(const llvm::APSInt &integer) { in makeIntLocVal()248 return loc::ConcreteInt(BasicVals.getValue(integer)); in makeIntLocVal()[all …]
339 class ConcreteInt : public NonLoc {341 explicit ConcreteInt(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {} in ConcreteInt() function349 const ConcreteInt& R) const;351 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;353 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;357 ConcreteInt() {} in ConcreteInt() function529 class ConcreteInt : public Loc {531 explicit ConcreteInt(const llvm::APSInt& V) : Loc(ConcreteIntKind, &V) {} in ConcreteInt() function539 const ConcreteInt& R) const;543 ConcreteInt() {} in ConcreteInt() function
1017 assert((!Idx.getAs<nonloc::ConcreteInt>() || in ElementRegion()1018 Idx.castAs<nonloc::ConcreteInt>().getValue().isSigned()) && in ElementRegion()
262 Optional<nonloc::ConcreteInt> CI = Whence.getAs<nonloc::ConcreteInt>(); in Fseek()
415 Optional<nonloc::ConcreteInt> V = TheTypeVal.getAs<nonloc::ConcreteInt>(); in checkPreStmt()747 if (msg.getArgSVal(I).getAs<loc::ConcreteInt>()) in checkPreObjCMessage()
1126 if (Optional<nonloc::ConcreteInt> IntVal = V.getAs<nonloc::ConcreteInt>()) in SummarizeValue()1128 else if (Optional<loc::ConcreteInt> ConstAddr = V.getAs<loc::ConcreteInt>()) in SummarizeValue()
560 if (right.getAs<nonloc::ConcreteInt>()) { in checkAdditionOverflow()