Searched refs:markNotInteresting (Results 1 – 7 of 7) sorted by relevance
141 BR.markNotInteresting(MainRegion); in REGISTER_SET_WITH_PROGRAMSTATE()147 BR.markNotInteresting(MR); in REGISTER_SET_WITH_PROGRAMSTATE()
433 void markNotInteresting(SymbolRef sym);442 void markNotInteresting(const MemRegion *R);
232 BR.markNotInteresting(ErrnoR); in getErrnoNoteTag()
699 BR.markNotInteresting(FirstThisRegion); in handleSwap()704 BR.markNotInteresting(SecondThisRegion); in handleSwap()
291 BR.markNotInteresting(StreamSym); in constructSetEofNoteTag()304 BR.markNotInteresting(StreamSym); in constructSetErrorNoteTag()317 BR.markNotInteresting(StreamSym); in constructSetEofOrErrorNoteTag()321 BR.markNotInteresting(StreamSym); in constructSetEofOrErrorNoteTag()
1446 BR.markNotInteresting(ErrnoLoc->getAsRegion()); in checkPostCall()
2278 void PathSensitiveBugReport::markNotInteresting(SymbolRef sym) { in markNotInteresting() function in PathSensitiveBugReport2287 markNotInteresting(meta->getRegion()); in markNotInteresting()2302 void PathSensitiveBugReport::markNotInteresting(const MemRegion *R) { in markNotInteresting() function in PathSensitiveBugReport2310 markNotInteresting(SR->getSymbol()); in markNotInteresting()