Lines Matching defs:SVal

185 typedef llvm::ImmutableMap<ConstructedObjectKey, SVal>
269 SVal V = state->getSVal(loc::MemRegionVal(R));
270 SVal Constraint_untested = evalBinOp(state, BO_GT, V,
292 SVal V = state->getSVal(loc::MemRegionVal(R));
309 SVal V = state->getSVal(L);
330 SVal InitValWithAdjustments = State->getSVal(InitWithAdjustments, LC);
386 if (std::optional<SVal> V = getObjectUnderConstruction(State, MT, LC)) {
408 SVal Reg = loc::MemRegionVal(TR);
409 SVal BaseReg = Reg;
437 SVal InitVal = State->getSVal(Init, LC);
564 const LocationContext *LC, SVal V) {
602 std::optional<SVal>
607 const SVal *V = State->get<ObjectsUnderConstruction>(Key);
668 SVal cond, bool assumption) {
711 SVal Value = I.second;
1175 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame));
1178 SVal FieldLoc;
1201 SVal InitVal;
1229 SVal BaseLoc = getStoreManager().evalDerivedToBase(
1231 SVal InitVal = State->getSVal(Init, stackFrame);
1258 SVal *ElementCountVal) {
1275 // The element count is either unknown, or an SVal that's not an integer.
1347 SVal dest = state->getLValue(varDecl, LCtx);
1365 SVal ElementCount;
1417 SVal ArgVal = State->getSVal(Arg, LCtx);
1448 SVal ElementCount;
1492 SVal ThisVal = Pred->getState()->getSVal(ThisPtr);
1497 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, BaseTy,
1517 SVal FieldVal = State->getLValue(Member, ThisLoc);
1521 SVal ElementCount;
1572 if (std::optional<SVal> V = getObjectUnderConstruction(
1684 ArrayRef<SVal> Vs,
1703 for (SVal V : Vs)
2004 std::optional<SVal> ConstantVal = svalBuilder.getConstantVal(ArgE);
2042 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
2054 SVal Val = State->getSVal(Child, LCtx);
2420 SVal V = state->getSVal(Result, Pred->getLocationContext());
2441 SVal V = state->getSVal(E, Pred->getLocationContext());
2593 /// This function returns the SVal bound to Condition->IgnoreCasts if all the
2595 static SVal RecoverCastedSymbol(ProgramStateRef state,
2656 // not evaluated, and is thus not in the SVal cache, we need to use that leaf
2736 SVal X = State->getSVal(Condition, N->getLocationContext());
2746 SVal recovered =
2881 SVal V = state->getSVal(builder.getTarget(), builder.getLocationContext());
3009 SVal CondV_untested = state->getSVal(CondE, builder.getLocationContext());
3103 std::optional<std::pair<SVal, QualType>> VInfo;
3119 SVal CXXThisVal = state->getSVal(CXXThis);
3127 SVal V = VInfo->first;
3145 SVal V = svalBuilder.makeIntVal(ED->getInitVal());
3150 SVal V = svalBuilder.getFunctionPointer(FD);
3163 SVal Base = state->getLValue(DD, LCtx);
3171 SVal V = UnknownVal();
3180 SVal Idx = state->getSVal(ASE->getIdx(), LCtx);
3247 SVal Base = UnknownVal();
3292 SVal Obj = state->getLValue(cast<VarDecl>(ObjDeclExpr->getDecl()), LCtx);
3358 SVal V = state->getLValue(T,
3404 SVal MDVal = svalBuilder.getFunctionPointer(MD);
3416 SVal baseExprVal =
3428 SVal L = state->getLValue(field, baseExprVal);
3479 SmallVector<SVal, 8> ValuesToInvalidate;
3482 SVal SubExprVal = State->getSVal(SubExpr, LCtx);
3492 SVal ResultVal = UnknownVal();
3509 ProgramStateRef State, ArrayRef<std::pair<SVal, SVal>> LocAndVals,
3512 SmallVector<SVal, 8> Escaped;
3513 for (const std::pair<SVal, SVal> &LocAndVal : LocAndVals) {
3536 SVal StoredVal = State->getSVal(MR);
3550 ExprEngine::processPointerEscapedOnBind(ProgramStateRef State, SVal Loc,
3551 SVal Val, const LocationContext *LCtx) {
3552 std::pair<SVal, SVal> LocAndVal(Loc, Val);
3604 SVal location, SVal Val,
3662 ProgramStateRef state, SVal location, SVal Val,
3687 SVal location,
3708 SVal V = UnknownVal();
3725 SVal location,
3785 SVal V = State->getSVal(Ex, Pred->getLocationContext());
3799 SVal Val = svalBuilder.makeIntVal(1U, Ex->getType());
3806 SVal Val = svalBuilder.makeIntVal(0U, Ex->getType());
3832 SVal X = state->getSVal(O, Pred->getLocationContext());
3843 SVal X = state->getSVal(I, Pred->getLocationContext());