Home | History | Annotate | Download | only in Checkers

Lines Matching full:maxlenexpr

1032     const Expr *maxlenExpr = CE->getArg(1);
1033     SVal maxlenVal = state->getSVal(maxlenExpr);
1037       assumeZero(C, state, maxlenVal, maxlenExpr->getType());
1080     const Expr *maxlenExpr = CE->getArg(1);
1081     SVal maxlenVal = state->getSVal(maxlenExpr);