Searched refs:MemVal (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1101 SVal MemVal = C.getSVal(DstBuffer); in memsetAux() local
1103 const MemRegion *MR = MemVal.getAsRegion(); in memsetAux()
1153 State = InvalidateBuffer(C, State, DstBuffer, MemVal, in memsetAux()
1179 State = InvalidateBuffer(C, State, DstBuffer, MemVal, in memsetAux()
2310 SVal MemVal = C.getSVal(Buffer.Expression); in evalBzero() local
2314 State = checkNonNull(C, StateNonZeroSize, Buffer, MemVal); in evalBzero()
|