reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
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);