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);