Home | History | Annotate | Download | only in Core

Lines Matching refs:InitVal

489       SVal InitVal;
499           InitVal = State->getSVal(*LValueLoc);
502         if (InitVal.isUnknownOrUndef()) {
504           InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame,
509         InitVal = State->getSVal(BMI->getInit(), stackFrame);
517       evalBind(Tmp, Init, Pred, FieldLoc, InitVal, /*isInit=*/true, &PP);