Searched refs:lastElement (Results 1 – 1 of 1) sorted by relevance
1505 SVal lastElement = C.getSValBuilder().evalBinOp( in evalCopyCommon() local1509 if (lastElement.isUnknown()) in evalCopyCommon()1510 lastElement = C.getSValBuilder().conjureSymbolVal( in evalCopyCommon()1514 state = state->BindExpr(Call.getOriginExpr(), LCtx, lastElement); in evalCopyCommon()2204 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon() local2214 state = CheckLocation(C, state, Dst, lastElement, AccessKind::write); in evalStrcpyCommon()2221 Result = lastElement; in evalStrcpyCommon()