45     ExplodedNode *ErrorNode = Ctx.generateNonFatalErrorNode();  in checkDoubleNonblocking()  local
46     BReporter.reportDoubleNonblocking(PreCallEvent, *Req, MR, ErrorNode,  in checkDoubleNonblocking()
48     Ctx.addTransition(ErrorNode->getState(), ErrorNode);  in checkDoubleNonblocking()
77   ExplodedNode *ErrorNode{nullptr};  in checkUnmatchedWaits()  local
84       if (!ErrorNode) {  in checkUnmatchedWaits()
85         ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);  in checkUnmatchedWaits()
86         State = ErrorNode->getState();  in checkUnmatchedWaits()
89       BReporter.reportUnmatchedWait(PreCallEvent, ReqRegion, ErrorNode,  in checkUnmatchedWaits()
94   if (!ErrorNode) {  in checkUnmatchedWaits()
97     Ctx.addTransition(State, ErrorNode);  in checkUnmatchedWaits()
109   ExplodedNode *ErrorNode{nullptr};  in checkMissingWaits()  local
116         if (!ErrorNode) {  in checkMissingWaits()
117           ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);  in checkMissingWaits()
118           State = ErrorNode->getState();  in checkMissingWaits()
120         BReporter.reportMissingWait(Req.second, Req.first, ErrorNode,  in checkMissingWaits()
128   if (!ErrorNode) {  in checkMissingWaits()
131     Ctx.addTransition(State, ErrorNode);  in checkMissingWaits()