Home | History | Annotate | Download | only in Checkers

Lines Matching refs:lenExpr

1232     const Expr *lenExpr = CE->getArg(2);
1233     SVal lenVal = state->getSVal(lenExpr);
1236     lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType());
1307       amountCopied = getCStringLength(C, state, lenExpr, srcVal, true);
1583       const Expr *lenExpr = CE->getArg(2);
1584       SVal lenVal = state->getSVal(lenExpr);