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