Searched refs:maxLastElement (Results 1 – 1 of 1) sorted by relevance
1670 SVal maxLastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon() local1672 state = CheckLocation(C, state, CE->getArg(2), maxLastElement, in evalStrcpyCommon()