Searched refs:lenValNL (Results 1 - 1 of 1) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1599 Optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>(); local
1603 if (strLengthNL && lenValNL) {
1613 .evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)
1634 SVal freeSpace = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL,
1670 if (lenValNL) {
1683 state, BO_Add, *lenValNL, *dstStrLengthNL, sizeTy);
1701 assumeZero(C, state, *lenValNL, sizeTy);
1727 svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL, one, sizeTy);
|
Completed in 117 milliseconds