Lines Matching defs:LCtx
345 const LocationContext *LCtx = C.getLocationContext();
351 SVal BufVal = state->getSVal(FirstBuf, LCtx);
363 SVal LengthVal = state->getSVal(Size, LCtx);
389 BufVal = state->getSVal(SecondBuf, LCtx);
427 const LocationContext *LCtx = C.getLocationContext();
428 SVal firstVal = state->getSVal(First, LCtx);
429 SVal secondVal = state->getSVal(Second, LCtx);
478 SVal LengthVal = state->getSVal(Size, LCtx);
819 const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
820 return state->invalidateRegions(R, E, C.blockCount(), LCtx,
880 const LocationContext *LCtx = C.getLocationContext();
881 SVal sizeVal = state->getSVal(Size, LCtx);
889 SVal destVal = state->getSVal(Dest, LCtx);
894 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal);
910 SVal srcVal = state->getSVal(Source, LCtx);
943 state = state->BindExpr(CE, LCtx, lastElement);
947 SVal result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx,
949 state = state->BindExpr(CE, LCtx, result);
955 state = state->BindExpr(CE, LCtx, destVal);
1030 const LocationContext *LCtx = C.getLocationContext();
1031 SVal sizeVal = state->getSVal(Size, LCtx);
1042 state = state->BindExpr(CE, LCtx,
1054 state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();
1056 state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();
1069 state = StSameBuf->BindExpr(CE, LCtx,
1082 SVal CmpV = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount());
1083 state = state->BindExpr(CE, LCtx, CmpV);
1112 const LocationContext *LCtx = C.getLocationContext();
1116 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1126 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero);
1140 SVal ArgVal = state->getSVal(Arg, LCtx);
1164 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1192 result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx, C.blockCount());
1215 result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx, C.blockCount());
1221 state = state->BindExpr(CE, LCtx, result);
1285 const LocationContext *LCtx = C.getLocationContext();
1289 SVal DstVal = state->getSVal(Dst, LCtx);
1297 SVal srcVal = state->getSVal(srcExpr, LCtx);
1324 SVal lenVal = state->getSVal(lenExpr, LCtx);
1392 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal);
1592 Result = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount());
1596 state = state->BindExpr(CE, LCtx, Result);
1638 const LocationContext *LCtx = C.getLocationContext();
1642 SVal s1Val = state->getSVal(s1, LCtx);
1649 SVal s2Val = state->getSVal(s2, LCtx);
1679 StSameBuf = StSameBuf->BindExpr(CE, LCtx,
1706 SVal lenVal = state->getSVal(lenExpr, LCtx);
1743 state = state->BindExpr(CE, LCtx, resultVal);
1749 SVal resultVal = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount());
1750 state = state->BindExpr(CE, LCtx, resultVal);
1771 const LocationContext *LCtx = C.getLocationContext();
1775 SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx);
1782 SVal DelimStrVal = State->getSVal(DelimStr, LCtx);
1800 SVB.conjureSymbolVal(getTag(), CE, LCtx, CharPtrTy,
1805 Result = SVB.conjureSymbolVal(0, CE, LCtx, C.blockCount());
1809 State = State->BindExpr(CE, LCtx, Result);
