Lines Matching refs:ErrorNode
44 ExplodedNode *ErrorNode = Ctx.generateNonFatalErrorNode();
45 BReporter.reportDoubleNonblocking(PreCallEvent, *Req, MR, ErrorNode,
47 Ctx.addTransition(ErrorNode->getState(), ErrorNode);
76 ExplodedNode *ErrorNode{nullptr};
83 if (!ErrorNode) {
84 ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);
85 State = ErrorNode->getState();
88 BReporter.reportUnmatchedWait(PreCallEvent, ReqRegion, ErrorNode,
93 if (!ErrorNode) {
96 Ctx.addTransition(State, ErrorNode);
108 ExplodedNode *ErrorNode{nullptr};
115 if (!ErrorNode) {
116 ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);
117 State = ErrorNode->getState();
119 BReporter.reportMissingWait(Req.second, Req.first, ErrorNode,
127 if (!ErrorNode) {
130 Ctx.addTransition(State, ErrorNode);