Searched refs:lenVal (Results 1 – 1 of 1) sorted by relevance
1374 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcpyCommon() local1377 lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType()); in evalStrcpyCommon()1380 Optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>(); in evalStrcpyCommon()1398 amountCopied = lenVal; in evalStrcpyCommon()1762 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcmpCommon() local1765 if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) { in evalStrcmpCommon()