Home | History | Annotate | Download | only in Checkers

Lines Matching defs:lastElement

937         SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add, 
943         state = state->BindExpr(CE, LCtx, lastElement);
1550       SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal,
1557         state = CheckLocation(C, state, Dst, lastElement, warningMsg);
1564         Result = lastElement;