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