Searched refs:lastElement (Results 1 – 1 of 1) sorted by relevance
1357 SVal lastElement = C.getSValBuilder().evalBinOp( in evalCopyCommon() local1361 if (lastElement.isUnknown()) in evalCopyCommon()1362 lastElement = C.getSValBuilder().conjureSymbolVal( in evalCopyCommon()1366 state = state->BindExpr(Call.getOriginExpr(), LCtx, lastElement); in evalCopyCommon()2056 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon() local2066 state = CheckLocation(C, state, Dst, lastElement, AccessKind::write); in evalStrcpyCommon()2073 Result = lastElement; in evalStrcpyCommon()