Home | History | Annotate | Download | only in Checkers

Lines Matching refs:lenExpr

1368     const Expr *lenExpr = CE->getArg(2);
1369     SVal lenVal = state->getSVal(lenExpr, LCtx);
1372     lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType());
1460       amountCopied = getCStringLength(C, state, lenExpr, srcVal, true);
1756       const Expr *lenExpr = CE->getArg(2);
1757       SVal lenVal = state->getSVal(lenExpr, LCtx);