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