Home | History | Annotate | Download | only in Checkers

Lines Matching refs:SinkNode

503   if (Event.SinkNode->getState()->get<InvariantViolated>())
511   ProgramStateRef State = Event.SinkNode->getState();
525                 ErrorKind::NullableDereferenced, Event.SinkNode, Region, BR);
529                 Event.SinkNode, Region, BR);