Searched refs:createNoteTag (Results 1 – 1 of 1) sorted by relevance
88 const NoteTag *createNoteTag(CheckerContext &C) const;466 const NoteTag *StateUpdateReporter::createNoteTag(CheckerContext &C) const { in createNoteTag() function in StateUpdateReporter630 C.addTransition(ExceedsUpperBound, SUR.createNoteTag(C)); in performCheck()670 C.addTransition(State, SUR.createNoteTag(C)); in performCheck()