Searched refs:lenValNL (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1675 Optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>(); in evalStrcpyCommon() local
1679 if (strLengthNL && lenValNL) { in evalStrcpyCommon()
1689 .evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy) in evalStrcpyCommon()
1710 SVal freeSpace = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL, in evalStrcpyCommon()
1746 if (lenValNL) { in evalStrcpyCommon()
1759 state, BO_Add, *lenValNL, *dstStrLengthNL, sizeTy); in evalStrcpyCommon()
1777 assumeZero(C, state, *lenValNL, sizeTy); in evalStrcpyCommon()
1803 svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL, one, sizeTy); in evalStrcpyCommon()
|