Cross Reference: /external/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

Lines Matching refs:LCtx
350   const LocationContext *LCtx = C.getLocationContext();
356   SVal BufVal = state->getSVal(FirstBuf, LCtx);
368   SVal LengthVal = state->getSVal(Size, LCtx);
394     BufVal = state->getSVal(SecondBuf, LCtx);
432   const LocationContext *LCtx = C.getLocationContext();
433   SVal firstVal = state->getSVal(First, LCtx);
434   SVal secondVal = state->getSVal(Second, LCtx);
483   SVal LengthVal = state->getSVal(Size, LCtx);
841     const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
854     return state->invalidateRegions(R, E, C.blockCount(), LCtx, 
915   const LocationContext *LCtx = C.getLocationContext();
916   SVal sizeVal = state->getSVal(Size, LCtx);
924   SVal destVal = state->getSVal(Dest, LCtx);
929     stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal);
945     SVal srcVal = state->getSVal(Source, LCtx);
978         state = state->BindExpr(CE, LCtx, lastElement);
982         SVal result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,
984         state = state->BindExpr(CE, LCtx, result);
990       state = state->BindExpr(CE, LCtx, destVal);
1072   const LocationContext *LCtx = C.getLocationContext();
1073   SVal sizeVal = state->getSVal(Size, LCtx);
1084     state = state->BindExpr(CE, LCtx,
1096         state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();
1098         state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();
1111         state = StSameBuf->BindExpr(CE, LCtx,
1124         SVal CmpV = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
1126         state = state->BindExpr(CE, LCtx, CmpV);
1155   const LocationContext *LCtx = C.getLocationContext();
1159     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1169       stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero);
1183   SVal ArgVal = state->getSVal(Arg, LCtx);
1207     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1235       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,
1259       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,
1266   state = state->BindExpr(CE, LCtx, result);
1330   const LocationContext *LCtx = C.getLocationContext();
1334   SVal DstVal = state->getSVal(Dst, LCtx);
1342   SVal srcVal = state->getSVal(srcExpr, LCtx);
1369     SVal lenVal = state->getSVal(lenExpr, LCtx);
1437           StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal);
1643     Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
1647   state = state->BindExpr(CE, LCtx, Result);
1689   const LocationContext *LCtx = C.getLocationContext();
1693   SVal s1Val = state->getSVal(s1, LCtx);
1700   SVal s2Val = state->getSVal(s2, LCtx);
1730     StSameBuf = StSameBuf->BindExpr(CE, LCtx,
1757       SVal lenVal = state->getSVal(lenExpr, LCtx);
1794       state = state->BindExpr(CE, LCtx, resultVal);
1800     SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
1802     state = state->BindExpr(CE, LCtx, resultVal);
1823   const LocationContext *LCtx = C.getLocationContext();
1827   SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx);
1834   SVal DelimStrVal = State->getSVal(DelimStr, LCtx);
1853                            SVB.conjureSymbolVal(getTag(), CE, LCtx, CharPtrTy,
1858     Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
1862   State = State->BindExpr(CE, LCtx, Result);