Searched refs:markNotInteresting (Results 1 – 6 of 6) sorted by relevance
78 BR.markNotInteresting(Sym); in handleNotInteresting()
433 void markNotInteresting(SymbolRef sym);442 void markNotInteresting(const MemRegion *R);
271 BR.markNotInteresting(ErrnoR); in getErrnoNoteTag()
698 BR.markNotInteresting(FirstThisRegion); in handleSwap()703 BR.markNotInteresting(SecondThisRegion); in handleSwap()
408 BR.markNotInteresting(StreamSym); in constructSetEofNoteTag()
2266 void PathSensitiveBugReport::markNotInteresting(SymbolRef sym) { in markNotInteresting() function in PathSensitiveBugReport2275 markNotInteresting(meta->getRegion()); in markNotInteresting()2290 void PathSensitiveBugReport::markNotInteresting(const MemRegion *R) { in markNotInteresting() function in PathSensitiveBugReport2298 markNotInteresting(SR->getSymbol()); in markNotInteresting()