Home | History | Annotate | Download | only in Checkers

Lines Matching refs:lastElement

906         SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add, 
912         state = state->BindExpr(CE, lastElement);
1467       SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal,
1474         state = CheckLocation(C, state, Dst, lastElement, warningMsg);
1481         Result = lastElement;