Lines Matching defs:InitVal

437   SVal InitVal = State->getSVal(Init, LC);
438   if (InitVal.isUnknown()) {
439     InitVal = getSValBuilder().conjureSymbolVal(Result, LC, Init->getType(),
441     State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false);
455     State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false);
1201       SVal InitVal;
1209         InitVal = State->getSVal(Init, stackFrame);
1212         if (InitVal.isUnknownOrUndef()) {
1214           InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame,
1219         InitVal = State->getSVal(BMI->getInit(), stackFrame);
1223       evalBind(Tmp, Init, Pred, FieldLoc, InitVal, /*isInit=*/true, &PP);
1231     SVal InitVal = State->getSVal(Init, stackFrame);
1232     evalBind(Tmp, Init, Pred, BaseLoc, InitVal, /*isInit=*/true);