Home | History | Annotate | Download | only in Core

Lines Matching defs:LC

486     const LocationContext *LC = N->getLocationContext();
493       SVal InitVal = state->getSVal(InitEx, LC);
522           InitVal = svalBuilder.conjureSymbolVal(nullptr, InitEx, LC, Ty,
529         evalBind(Dst2, DS, UpdatedN, state->getLValue(VD, LC), InitVal, true);