Home | History | Annotate | Download | only in Checkers

Lines Matching refs:reportBug

177   void reportBug(ErrorKind Error, ExplodedNode *N, const MemRegion *Region,
403   reportBug(Error, N, Region, C.getBugReporter(), ValueExpr);
457       reportBug(ErrorKind::NullableDereferenced, Event.SinkNode, Region, BR);
459       reportBug(ErrorKind::NullablePassedToNonnull, Event.SinkNode, Region, BR);