Lines Matching defs:LCtx

125                        const LocationContext *LCtx,
691   const LocationContext *LCtx = C.getLocationContext();
692   SVal firstVal = state->getSVal(First.Expression, LCtx);
693   SVal secondVal = state->getSVal(Second.Expression, LCtx);
742   SVal LengthVal = state->getSVal(Size.Expression, LCtx);
1296     const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
1300     return State->invalidateRegions(R, E, C.blockCount(), LCtx,
1449   const LocationContext *LCtx = C.getLocationContext();
1450   SVal sizeVal = state->getSVal(Size.Expression, LCtx);
1458   SVal destVal = state->getSVal(Dest.Expression, LCtx);
1464         stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, destVal);
1483     SVal srcVal = state->getSVal(Source.Expression, LCtx);
1516             nullptr, Call.getOriginExpr(), LCtx, C.blockCount());
1519       state = state->BindExpr(Call.getOriginExpr(), LCtx, lastElement);
1523       state = state->BindExpr(Call.getOriginExpr(), LCtx, destVal);
1611   const LocationContext *LCtx = C.getLocationContext();
1614   SVal sizeVal = State->getSVal(Size.Expression, LCtx);
1625     State = State->BindExpr(Call.getOriginExpr(), LCtx,
1637         State->getSVal(Left.Expression, LCtx).castAs<DefinedOrUnknownSVal>();
1639         State->getSVal(Right.Expression, LCtx).castAs<DefinedOrUnknownSVal>();
1652         State = SameBuffer->BindExpr(Call.getOriginExpr(), LCtx,
1666       SVal CmpV = Builder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,
1668       State = State->BindExpr(Call.getOriginExpr(), LCtx, CmpV);
1691   const LocationContext *LCtx = C.getLocationContext();
1695     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1705       stateZeroSize = stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, zero);
1719   SVal ArgVal = state->getSVal(Arg.Expression, LCtx);
1742     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1771           nullptr, Call.getOriginExpr(), LCtx, C.blockCount());
1795           nullptr, Call.getOriginExpr(), LCtx, C.blockCount());
1801   state = state->BindExpr(Call.getOriginExpr(), LCtx, result);
1882   const LocationContext *LCtx = C.getLocationContext();
1886   SVal DstVal = state->getSVal(Dst.Expression, LCtx);
1893   SVal srcVal = state->getSVal(srcExpr.Expression, LCtx);
1937     SVal lenVal = state->getSVal(lenExpr.Expression, LCtx);
2051                 StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, DstVal);
2056                                                       LCtx, strLength);
2062                   StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, retSize);
2262       Result = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,
2267   state = state->BindExpr(Call.getOriginExpr(), LCtx, Result);
2299   const LocationContext *LCtx = C.getLocationContext();
2303   SVal LeftVal = state->getSVal(Left.Expression, LCtx);
2310   SVal RightVal = state->getSVal(Right.Expression, LCtx);
2341         StSameBuf->BindExpr(Call.getOriginExpr(), LCtx,
2363                                                 LCtx, C.blockCount());
2372       SVal lenVal = state->getSVal(lenExpr, LCtx);
2419   state = state->BindExpr(Call.getOriginExpr(), LCtx, resultVal);
2438   const LocationContext *LCtx = C.getLocationContext();
2442   SVal SearchStrVal = State->getSVal(SearchStrPtr.Expression, LCtx);
2449   SVal DelimStrVal = State->getSVal(DelimStr.Expression, LCtx);
2471                                             LCtx, CharPtrTy, C.blockCount()),
2472                        LCtx);
2476     Result = SVB.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,
2481   State = State->BindExpr(Call.getOriginExpr(), LCtx, Result);
2503   const LocationContext *LCtx = C.getLocationContext();
2512   SVal DstVal = State->getSVal(Dst, LCtx);
2521       SVB.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx, C.blockCount());
2522   State = State->BindExpr(Call.getOriginExpr(), LCtx, ResultVal);
2539   const LocationContext *LCtx = C.getLocationContext();
2552     ZeroSize = ZeroSize->BindExpr(Call.getOriginExpr(), LCtx, BufferPtrVal);
2574   State = State->BindExpr(Call.getOriginExpr(), LCtx, BufferPtrVal);
2767     const LocationContext *LCtx,