Searched refs:lastElement (Results 1 – 1 of 1) sorted by relevance
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1191 SVal lastElement = C.getSValBuilder().evalBinOp( in evalCopyCommon() local
1195 if (lastElement.isUnknown()) in evalCopyCommon()
1196 lastElement = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx, in evalCopyCommon()
1200 state = state->BindExpr(CE, LCtx, lastElement); in evalCopyCommon()
1863 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon() local
1868 state = CheckLocation(C, state, Dst, lastElement, AccessKind::write); in evalStrcpyCommon()
1875 Result = lastElement; in evalStrcpyCommon()
|