Searched refs:lenVal (Results 1 – 1 of 1) sorted by relevance
1589 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcpyCommon() local1592 lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType()); in evalStrcpyCommon()1595 Optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>(); in evalStrcpyCommon()1613 amountCopied = lenVal; in evalStrcpyCommon()1991 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcmpCommon() local1994 if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) { in evalStrcmpCommon()