Searched refs:destVal (Results 1 - 1 of 1) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1155 SVal destVal = state->getSVal(Dest, LCtx); local
1160 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal);
1171 state = checkNonNull(C, state, Dest, destVal, 1);
1203 SvalBuilder.evalCast(destVal, CharPtrTy, Dest->getType());
1217 state = state->BindExpr(CE, LCtx, destVal);
|
Completed in 33 milliseconds