Searched refs:MemVal (Results 1 – 1 of 1) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1012 SVal MemVal = C.getSVal(DstBuffer); in memsetAux() local
1014 const MemRegion *MR = MemVal.getAsRegion(); in memsetAux()
1065 State = InvalidateBuffer(C, State, DstBuffer, MemVal, in memsetAux()
1091 State = InvalidateBuffer(C, State, DstBuffer, MemVal, in memsetAux()
2164 SVal MemVal = State->getSVal(Mem, LCtx); in evalMemset() local
2169 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, MemVal); in evalMemset()
2176 State = checkNonNull(C, StateNonZeroSize, Mem, MemVal); in evalMemset()
2190 State = State->BindExpr(CE, LCtx, MemVal); in evalMemset()
2222 SVal MemVal = C.getSVal(Mem); in evalBzero() local
2226 State = checkNonNull(C, StateNonZeroSize, Mem, MemVal); in evalBzero()
|