Searched refs:sizeVal (Results 1 – 1 of 1) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1300 SVal sizeVal = state->getSVal(Size.Expression, LCtx); in evalCopyCommon() local
1305 assumeZero(C, state, sizeVal, sizeTy); in evalCopyCommon()
1358 state, BO_Add, DestRegCharVal, sizeVal, Dest.Expression->getType()); in evalCopyCommon()
1380 C, state, Dest.Expression, C.getSVal(Dest.Expression), sizeVal, in evalCopyCommon()
1461 SVal sizeVal = State->getSVal(Size.Expression, LCtx); in evalMemcmp() local
1466 assumeZero(C, State, sizeVal, sizeTy); in evalMemcmp()
|