45     ExplodedNode *ErrorNode = Ctx.generateNonFatalErrorNode();  in checkDoubleNonblocking()  local
46     BReporter.reportDoubleNonblocking(PreCallEvent, *Req, MR, ErrorNode, Ctx.getBugReporter());  in checkDoubleNonblocking()
47     Ctx.addTransition(ErrorNode->getState(), ErrorNode);  in checkDoubleNonblocking()
76   ExplodedNode *ErrorNode{nullptr};  in checkUnmatchedWaits()  local
83       if (!ErrorNode) {  in checkUnmatchedWaits()
84         ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);  in checkUnmatchedWaits()
85         State = ErrorNode->getState();  in checkUnmatchedWaits()
88       BReporter.reportUnmatchedWait(PreCallEvent, ReqRegion, ErrorNode, Ctx.getBugReporter());  in checkUnmatchedWaits()
92   if (!ErrorNode) {  in checkUnmatchedWaits()
95     Ctx.addTransition(State, ErrorNode);  in checkUnmatchedWaits()
110   ExplodedNode *ErrorNode{nullptr};  in checkMissingWaits()  local
117         if (!ErrorNode) {  in checkMissingWaits()
118           ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);  in checkMissingWaits()
119           State = ErrorNode->getState();  in checkMissingWaits()
121         BReporter.reportMissingWait(Req.second, Req.first, ErrorNode, Ctx.getBugReporter());  in checkMissingWaits()
128   if (!ErrorNode) {  in checkMissingWaits()
131     Ctx.addTransition(State, ErrorNode);  in checkMissingWaits()