Searched refs:markPartsInteresting (Results 1 – 1 of 1) sorted by relevance
152 static void markPartsInteresting(PathSensitiveBugReport &BR,720 void ArrayBoundChecker::markPartsInteresting(PathSensitiveBugReport &BR, in markPartsInteresting() function in ArrayBoundChecker768 markPartsInteresting(*BR, ErrorState, Offset, IsTaintBug); in reportOOB()770 markPartsInteresting(*BR, ErrorState, *Extent, IsTaintBug); in reportOOB()