Searched refs:lastElement (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1511 SVal lastElement = C.getSValBuilder().evalBinOp( in evalCopyCommon() local
1515 if (lastElement.isUnknown()) in evalCopyCommon()
1516 lastElement = C.getSValBuilder().conjureSymbolVal(Call, C.blockCount()); in evalCopyCommon()
1519 state = state->BindExpr(Call.getOriginExpr(), LCtx, lastElement); in evalCopyCommon()
2206 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon() local
2216 state = CheckLocation(C, state, Dst, lastElement, AccessKind::write); in evalStrcpyCommon()
2223 Result = lastElement; in evalStrcpyCommon()
|