Lines Matching defs:LV
362 SVal LV, QualType T) {
366 auto RegionVal = LV.getAs<loc::MemRegionVal>();
389 SVal LV = State->getLValue(ParamDecl, LocCtxt);
390 if (checkValueAtLValForInvariantViolation(State, LV,
421 SVal LV = State->getLValue(IvarDecl, SelfVal);
422 if (checkValueAtLValForInvariantViolation(State, LV, IvarDecl->getType())) {
