Searched refs:isOffsetObviouslyNonnegative (Results 1 – 1 of 1) sorted by relevance
158 static bool isOffsetObviouslyNonnegative(const Expr *E, CheckerContext &C);610 if (isOffsetObviouslyNonnegative(E, C)) { in performCheck()794 bool ArrayBoundChecker::isOffsetObviouslyNonnegative(const Expr *E, in isOffsetObviouslyNonnegative() function in ArrayBoundChecker