Home | History | Annotate | Download | only in Checkers

Lines Matching defs:elementSize

1515   SVal elementSize = state->getSVal(CE->getArg(1), LCtx);
1516 SVal TotalSize = svalBuilder.evalBinOp(state, BO_Mul, count, elementSize,