Lines Matching refs:ExplodedNode

32     ExplodedNode *ExampleNode;
60   ExplodedNode *reportBug(llvm::StringRef Msg, CheckerContext &C,
62   ExplodedNode *reportBug(llvm::StringRef Msg, BugReporter &BR, ExplodedNode *N,
136   ExplodedNode *N = C.getPredecessor();  in getArgumentValueString()
163 ExplodedNode *ExprInspectionChecker::reportBug(llvm::StringRef Msg,  in reportBug()
166   ExplodedNode *N = C.generateNonFatalErrorNode();  in reportBug()
171 ExplodedNode *ExprInspectionChecker::reportBug(llvm::StringRef Msg,  in reportBug()
172                                                BugReporter &BR, ExplodedNode *N,  in reportBug()
393   ExplodedNode *N = C.getPredecessor();  in checkDeadSymbols()
400     if (ExplodedNode *BugNode = reportBug("SYMBOL DEAD", C))  in checkDeadSymbols()
418     ExplodedNode *N = Item.second.ExampleNode;  in checkEndAnalysis()