Home | History | Annotate | Download | only in Core

Lines Matching defs:LC

497     const LocationContext *LC = N->getLocationContext();
504       SVal InitVal = state->getSVal(InitEx, LC);
533           InitVal = svalBuilder.conjureSymbolVal(nullptr, InitEx, LC, Ty,
540         evalBind(Dst2, DS, UpdatedN, state->getLValue(VD, LC), InitVal, true);