Home | History | Annotate | Download | only in Checkers

Lines Matching refs:Event

108                      check::Event<ImplicitNullDerefEvent>> {
119   void checkEvent(ImplicitNullDerefEvent Event) const;
435 Event) const {
436   if (Event.SinkNode->getState()->get<PreconditionViolated>())
440       getTrackRegion(Event.Location, /*CheckSuperregion=*/true);
444   ProgramStateRef State = Event.SinkNode->getState();
453     BugReporter &BR = *Event.BR;
456     if (Event.IsDirectDereference)
457       reportBug(ErrorKind::NullableDereferenced, Event.SinkNode, Region, BR);
459       reportBug(ErrorKind::NullablePassedToNonnull, Event.SinkNode, Region, BR);