Searched refs:lenExpr (Results 1 – 1 of 1) sorted by relevance
1368 const Expr *lenExpr = CE->getArg(2); in evalStrcpyCommon() local1369 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcpyCommon()1372 lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType()); in evalStrcpyCommon()1460 amountCopied = getCStringLength(C, state, lenExpr, srcVal, true); in evalStrcpyCommon()1756 const Expr *lenExpr = CE->getArg(2); in evalStrcmpCommon() local1757 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcmpCommon()