Searched refs:destVal (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1459 SVal destVal = state->getSVal(Dest.Expression, LCtx); in evalCopyCommon() local
1465 stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, destVal); in evalCopyCommon()
1479 state = checkNonNull(C, state, Dest, destVal); in evalCopyCommon()
1510 SvalBuilder.evalCast(destVal, CharPtrTy, Dest.Expression->getType()); in evalCopyCommon()
1523 state = state->BindExpr(Call.getOriginExpr(), LCtx, destVal); in evalCopyCommon()
|