Lines Matching defs:InitVal
480 SVal InitVal;490 InitVal = State->getSVal(*LValueLoc);493 if (InitVal.isUnknownOrUndef()) {495 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame,500 InitVal = State->getSVal(BMI->getInit(), stackFrame);508 evalBind(Tmp, Init, Pred, FieldLoc, InitVal, /*isInit=*/true, &PP);