Searched refs:lenVal (Results 1 – 1 of 1) sorted by relevance
1455 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcpyCommon() local1458 lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType()); in evalStrcpyCommon()1461 Optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>(); in evalStrcpyCommon()1479 amountCopied = lenVal; in evalStrcpyCommon()1844 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcmpCommon() local1847 if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) { in evalStrcmpCommon()