Searched defs:ErrNode (Results 1 – 7 of 7) 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
498 ExplodedNode *ErrNode = nullptr; in diagnoseMissingReleases() local671 ExplodedNode *ErrNode = C.generateNonFatalErrorNode(); in diagnoseExtraRelease() local734 ExplodedNode *ErrNode = C.generateErrorNode(); in diagnoseMistakenDealloc() local
146 ExplodedNode *ErrNode = C.generateNonFatalErrorNode(); in reportBlockInCritSection() local
182 ExplodedNode *ErrNode = C.generateErrorNode(); in reportUseAfterDealloc() local
190 ExplodedNode *ErrNode = C.generateErrorNode(); in reportDoubleClose() local
759 ExplodedNode *ErrNode = C.addTransition(C.getState(), C.getPredecessor(), &Tag); in reportLocalizationError() local