Home | History | Annotate | Download | only in Core

Lines Matching refs:InitVal

471       SVal InitVal = state->getSVal(InitEx, LC);
483                   InitVal.getAs<loc::MemRegionVal>()) {
484             InitVal = state->getSVal(M->getRegion());
485             assert(InitVal.getAs<nonloc::LazyCompoundVal>());
491         if (InitVal.isUnknown()) {
497           InitVal = svalBuilder.conjureSymbolVal(nullptr, InitEx, LC, Ty,
504         evalBind(Dst2, DS, UpdatedN, state->getLValue(VD, LC), InitVal, true);