Searched refs:markNotInteresting (Results 1 – 4 of 4) sorted by relevance
435 void markNotInteresting(SymbolRef sym);444 void markNotInteresting(const MemRegion *R);
699 BR.markNotInteresting(FirstThisRegion); in handleSwap()704 BR.markNotInteresting(SecondThisRegion); in handleSwap()
407 BR.markNotInteresting(StreamSym); in constructSetEofNoteTag()
2258 void PathSensitiveBugReport::markNotInteresting(SymbolRef sym) { in markNotInteresting() function in PathSensitiveBugReport2267 markNotInteresting(meta->getRegion()); in markNotInteresting()2282 void PathSensitiveBugReport::markNotInteresting(const MemRegion *R) { in markNotInteresting() function in PathSensitiveBugReport2290 markNotInteresting(SR->getSymbol()); in markNotInteresting()