Searched refs:InvalidateBuffer (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 233 static ProgramStateRef InvalidateBuffer(CheckerContext &C,
1002 ProgramStateRef CStringChecker::InvalidateBuffer(CheckerContext &C, in InvalidateBuffer() function in CStringChecker
1153 State = InvalidateBuffer(C, State, DstBuffer, MemVal, in memsetAux()
1179 State = InvalidateBuffer(C, State, DstBuffer, MemVal, in memsetAux()
1277 InvalidateBuffer(C, state, Dest.Expression, C.getSVal(Dest.Expression), in evalCopyCommon()
1282 state = InvalidateBuffer(C, state, Source.Expression, in evalCopyCommon()
1953 state = InvalidateBuffer(C, state, Dst.Expression, *dstRegVal, in evalStrcpyCommon()
1958 state = InvalidateBuffer(C, state, srcExpr.Expression, srcVal, in evalStrcpyCommon()
2174 State = InvalidateBuffer(C, State, SearchStrPtr.Expression, Result, in evalStrsep()
2224 State = InvalidateBuffer(C, State, Dst, DstVal, /*IsSource=*/false, in evalStdCopyCommon()
|