Searched refs:errorNode (Results 1 – 5 of 5) sorted by relevance
143 if (ExplodedNode *errorNode = C.generateErrorNode(stateNull)) { in checkPreCall() local147 R = genReportNullAttrNonNull(errorNode, ArgE); in checkPreCall()149 R = genReportReferenceToNullPointer(errorNode, ArgE); in checkPreCall()
131 if (ExplodedNode *errorNode = C.generateErrorNode()) { in checkPreStmt() local136 auto R = llvm::make_unique<BugReport>(*BT, BT->getDescription(), errorNode); in checkPreStmt()
233 ExplodedNode *errorNode = checkerContext.generateErrorNode(errorState); in reportOOB() local234 if (!errorNode) in reportOOB()258 auto BR = llvm::make_unique<BugReport>(*BT, os.str(), errorNode); in reportOOB()
748 Optional<ExplodedNode*> errorNode; in checkPreObjCMessage() local772 if (!errorNode.hasValue()) in checkPreObjCMessage()773 errorNode = C.generateNonFatalErrorNode(); in checkPreObjCMessage()775 if (!errorNode.getValue()) in checkPreObjCMessage()792 auto R = llvm::make_unique<BugReport>(*BT, os.str(), errorNode.getValue()); in checkPreObjCMessage()
2865 const ExplodedNode *errorNode = I->getErrorNode(); in FindReportInEquivalenceClass() local2867 if (!errorNode) in FindReportInEquivalenceClass()2869 if (errorNode->isSink()) { in FindReportInEquivalenceClass()2874 if (errorNode->succ_empty()) { in FindReportInEquivalenceClass()2885 if (isInevitablySinking(errorNode)) in FindReportInEquivalenceClass()2896 WL.push_back(errorNode); in FindReportInEquivalenceClass()2897 Visited[errorNode] = 1; in FindReportInEquivalenceClass()