Home | History | Annotate | Download | only in Checkers

Lines Matching refs:lastElement

1058         SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add,
1064         state = state->BindExpr(CE, LCtx, lastElement);
1681       SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal,
1688         state = CheckLocation(C, state, Dst, lastElement, warningMsg);
1695         Result = lastElement;