Searched refs:SinkNode (Results 1 – 4 of 4) sorted by relevance
254 ProgramStateRef state = event.SinkNode->getState(); in checkEvent()288 std::make_unique<PathSensitiveBugReport>(*bug, os.str(), event.SinkNode)); in checkEvent()
480 if (Event.SinkNode->getState()->get<InvariantViolated>()) in checkEvent()488 ProgramStateRef State = Event.SinkNode->getState(); in checkEvent()503 Event.SinkNode, Region, BR); in checkEvent()508 Event.SinkNode, Region, BR); in checkEvent()
940 SDNode *SinkNode = StatepointMCNode; in LowerAsSTATEPOINT() local967 SinkNode = GCTransitionStart.getNode(); in LowerAsSTATEPOINT()973 unsigned NumSinkValues = SinkNode->getNumValues(); in LowerAsSTATEPOINT()974 SDValue StatepointValues[2] = {SDValue(SinkNode, NumSinkValues - 2), in LowerAsSTATEPOINT()975 SDValue(SinkNode, NumSinkValues - 1)}; in LowerAsSTATEPOINT()
556 ExplodedNode *SinkNode; member