425   SVal InitVal = State->getSVal(Init, LC);  in createTemporaryRegionIfNeeded()  local
426   if (InitVal.isUnknown()) {  in createTemporaryRegionIfNeeded()
427     InitVal = getSValBuilder().conjureSymbolVal(Result, LC, Init->getType(),  in createTemporaryRegionIfNeeded()
429     State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false);  in createTemporaryRegionIfNeeded()
443     State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false);  in createTemporaryRegionIfNeeded()
1027       SVal InitVal;  in ProcessInitializer()  local
1038             InitVal = State->getSVal(*LValueLoc);  in ProcessInitializer()
1041         if (InitVal.isUnknownOrUndef()) {  in ProcessInitializer()
1043           InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame,  in ProcessInitializer()
1048         InitVal = State->getSVal(BMI->getInit(), stackFrame);  in ProcessInitializer()
1052       evalBind(Tmp, Init, Pred, FieldLoc, InitVal, /*isInit=*/true, &PP);  in ProcessInitializer()