Searched defs:ErrNode (Results 1 – 9 of 9) sorted by relevance
613 ExplodedNode *ErrNode = C.generateNonFatalErrorNode(C.getState(), Pred); in reportLeaks() local624 ExplodedNode *ErrNode = C.generateErrorNode(C.getState()); in reportDoubleRelease() local632 ExplodedNode *ErrNode = C.generateErrorNode(C.getState()); in reportUnownedRelease() local640 ExplodedNode *ErrNode = C.generateErrorNode(C.getState()); in reportUseAfterFree() local
81 ExplodedNode *ErrNode = C.generateErrorNode(); in reportBug() local
505 ExplodedNode *ErrNode = nullptr; in diagnoseMissingReleases() local 678 ExplodedNode *ErrNode = C.generateNonFatalErrorNode(); in diagnoseExtraRelease() local 741 ExplodedNode *ErrNode = C.generateErrorNode(); diagnoseMistakenDealloc() local [all...]
139 ExplodedNode *ErrNode = C.generateNonFatalErrorNode(); reportBlockInCritSection() local
183 ExplodedNode *ErrNode = C.generateErrorNode(); in reportUseAfterDealloc() local
177 ExplodedNode *ErrNode = C.generateErrorNode(); reportDoubleClose() local
272 ExplodedNode *ErrNode = C.generateNonFatalErrorNode(); handleStdGetCall() local
335 if (ExplodedNode *ErrNode = Ctx.generateErrorNode(State)) { in createBugReport() local
754 ExplodedNode *ErrNode = C.addTransition(C.getState(), C.getPredecessor(), &Tag); in reportLocalizationError() local