Searched refs:ErrNode (Results 1 – 2 of 2) sorted by relevance
67 ExplodedNode *ErrNode) const;213 ExplodedNode *ErrNode = C.generateErrorNode(); in reportDoubleClose() local215 if (!ErrNode) in reportDoubleClose()220 "Closing a previously closed file stream", ErrNode); in reportDoubleClose()228 ExplodedNode *ErrNode) const { in reportLeaks()233 "Opened file is never closed; potential resource leak", ErrNode); in reportLeaks()
627 ExplodedNode *ErrNode = C.getPredecessor(); in reportLocalizationError() local630 ErrNode = C.addTransition(C.getState(), C.getPredecessor(), &Tag); in reportLocalizationError()632 if (!ErrNode) in reportLocalizationError()637 *BT, "User-facing text should use localized string macro", ErrNode)); in reportLocalizationError()