Searched defs:ErrNode (Results 1 – 4 of 4) sorted by relevance
504 ExplodedNode *ErrNode = nullptr; in diagnoseMissingReleases() local678 ExplodedNode *ErrNode = C.generateNonFatalErrorNode(); in diagnoseExtraRelease() local737 ExplodedNode *ErrNode = C.generateErrorNode(); in diagnoseMistakenDealloc() local
188 ExplodedNode *ErrNode = C.generateErrorNode(); in reportUseAfterDealloc() local
204 ExplodedNode *ErrNode = C.generateErrorNode(); in reportDoubleClose() local
686 ExplodedNode *ErrNode = C.getPredecessor(); in reportLocalizationError() local