Home | History | Annotate | Download | only in Checkers

Lines Matching full:maxlenval

1033     SVal maxlenVal = state->getSVal(maxlenExpr);
1037       assumeZero(C, state, maxlenVal, maxlenExpr->getType());
1081     SVal maxlenVal = state->getSVal(maxlenExpr);
1084     NonLoc *maxlenValNL = dyn_cast<NonLoc>(&maxlenVal);