Searched defs:lenVal (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp1369 SVal lenVal = state->getSVal(lenExpr, LCtx); local
1372 lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType());
1375 Optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>();
1393 amountCopied = lenVal;
1405 // For strncat, the check is strlen(dst) + lenVal < sizeof(dst)
1424 // For strncpy, this is just checking that lenVal <= sizeof(dst)
1465 // amountCopied <= lenVal
1757 SVal lenVal = state->getSVal(lenExpr, LCtx); local
1760 if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) {
[all...]

Completed in 461 milliseconds