Searched refs:dstRegVal (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1914 if (Optional<loc::MemRegionVal> dstRegVal = in evalStrcpyCommon() local
1922 svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, *maxLastNL, ptrTy); in evalStrcpyCommon()
1931 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
1953 state = InvalidateBuffer(C, state, Dst.Expression, *dstRegVal, in evalStrcpyCommon()
1970 state = setCStringLength(state, dstRegVal->getRegion(), finalStrLength); in evalStrcpyCommon()
|