Home | History | Annotate | Download | only in Checkers

Lines Matching refs:lenExpr

1258     const Expr *lenExpr = CE->getArg(2);
1259     SVal lenVal = state->getSVal(lenExpr);
1262     lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType());
1333       amountCopied = getCStringLength(C, state, lenExpr, srcVal, true);
1609       const Expr *lenExpr = CE->getArg(2);
1610       SVal lenVal = state->getSVal(lenExpr);