Lines Matching refs:ConstCFGElementRef
274 const Expr *BufE, ConstCFGElementRef Elem,
279 CheckerContext &C, ProgramStateRef S, ConstCFGElementRef Elem, SVal BufV);
284 CheckerContext &C, ProgramStateRef S, ConstCFGElementRef Elem, SVal BufV);
289 ConstCFGElementRef Elem,
296 CheckerContext &C, ProgramStateRef State, ConstCFGElementRef Elem, SVal V,
304 static bool memsetAux(const Expr *DstBuffer, ConstCFGElementRef Elem,
1214 ConstCFGElementRef Elem, SVal BufV, SVal SizeV, QualType SizeTy) { in invalidateDestinationBufferBySize()
1234 CheckerContext &C, ProgramStateRef S, ConstCFGElementRef Elem, SVal BufV) { in invalidateDestinationBufferAlwaysEscapeSuperRegion()
1244 CheckerContext &C, ProgramStateRef S, ConstCFGElementRef Elem, SVal BufV) { in invalidateDestinationBufferNeverOverflows()
1259 ConstCFGElementRef Elem, in invalidateSourceBuffer()
1275 CheckerContext &C, ProgramStateRef State, ConstCFGElementRef Elem, SVal V, in invalidateBufferAux()
1351 bool CStringChecker::memsetAux(const Expr *DstBuffer, ConstCFGElementRef Elem, in memsetAux()