Lines Matching refs:ExplodedNode

157     PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
158                                    const ExplodedNode *PrevN,
172   void reportBugIfPreconditionHolds(ErrorKind Error, ExplodedNode *N,
177   void reportBug(ErrorKind Error, ExplodedNode *N, const MemRegion *Region,  in reportBug()
281     const ExplodedNode *N, const ExplodedNode *PrevN, BugReporterContext &BRC,  in VisitNode()
359 static bool checkPreconditionViolation(ProgramStateRef State, ExplodedNode *N,  in checkPreconditionViolation()
392     ErrorKind Error, ExplodedNode *N, const MemRegion *Region,  in reportBugIfPreconditionHolds()
502     ExplodedNode *N = C.generateErrorNode(State, &Tag);  in checkPreStmt()
523       ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag);  in checkPreStmt()
574       ExplodedNode *N = C.generateErrorNode(State);  in checkPreCall()
596         ExplodedNode *N = C.addTransition(State);  in checkPreCall()
603         ExplodedNode *N = C.addTransition(State);  in checkPreCall()
922     ExplodedNode *N = C.generateErrorNode(State, &Tag);  in checkBind()
951       ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag);  in checkBind()