Lines Matching refs:ExplodedNode

30     ExplodedNode *ExampleNode;
52   ExplodedNode *reportBug(llvm::StringRef Msg, CheckerContext &C) const;
53   ExplodedNode *reportBug(llvm::StringRef Msg, BugReporter &BR,
54                           ExplodedNode *N) const;
104   ExplodedNode *N = C.getPredecessor();  in getArgumentValueString()
131 ExplodedNode *ExprInspectionChecker::reportBug(llvm::StringRef Msg,  in reportBug()
133   ExplodedNode *N = C.generateNonFatalErrorNode();  in reportBug()
138 ExplodedNode *ExprInspectionChecker::reportBug(llvm::StringRef Msg,  in reportBug()
140                                                ExplodedNode *N) const {  in reportBug()
261   ExplodedNode *N = C.getPredecessor();  in checkDeadSymbols()
268     if (ExplodedNode *BugNode = reportBug("SYMBOL DEAD", C))  in checkDeadSymbols()
286     ExplodedNode *N = Item.second.ExampleNode;  in checkEndAnalysis()