Searched refs:lenVal (Results 1 – 1 of 1) sorted by relevance
1459 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcpyCommon() local1462 lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType()); in evalStrcpyCommon()1465 Optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>(); in evalStrcpyCommon()1483 amountCopied = lenVal; in evalStrcpyCommon()1850 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcmpCommon() local1853 if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) { in evalStrcmpCommon()