26                                         CheckerContext &Ctx) const {  in checkDoubleNonblocking()
40   ProgramStateRef State = Ctx.getState();  in checkDoubleNonblocking()
45     ExplodedNode *ErrorNode = Ctx.generateNonFatalErrorNode();  in checkDoubleNonblocking()
47                                       Ctx.getBugReporter());  in checkDoubleNonblocking()
48     Ctx.addTransition(ErrorNode->getState(), ErrorNode);  in checkDoubleNonblocking()
53     Ctx.addTransition(State);  in checkDoubleNonblocking()
58                                      CheckerContext &Ctx) const {  in checkUnmatchedWaits()
71   allRegionsUsedByWait(ReqRegions, MR, PreCallEvent, Ctx);  in checkUnmatchedWaits()
75   ProgramStateRef State = Ctx.getState();  in checkUnmatchedWaits()
85         ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);  in checkUnmatchedWaits()
90                                     Ctx.getBugReporter());  in checkUnmatchedWaits()
95     Ctx.addTransition(State);  in checkUnmatchedWaits()
97     Ctx.addTransition(State, ErrorNode);  in checkUnmatchedWaits()
102                                    CheckerContext &Ctx) const {  in checkMissingWaits()
103   ProgramStateRef State = Ctx.getState();  in checkMissingWaits()
117           ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);  in checkMissingWaits()
121                                     Ctx.getBugReporter());  in checkMissingWaits()
129     Ctx.addTransition(State);  in checkMissingWaits()
131     Ctx.addTransition(State, ErrorNode);  in checkMissingWaits()
148     const MemRegion *const MR, const CallEvent &CE, CheckerContext &Ctx) const {  in allRegionsUsedByWait()
165         Ctx.getState(), SuperRegion, Ctx.getSValBuilder(),  in allRegionsUsedByWait()
171       const NonLoc Idx = Ctx.getSValBuilder().makeArrayIndex(i);  in allRegionsUsedByWait()
175           Ctx.getASTContext());  in allRegionsUsedByWait()