Lines Matching refs:IntRangeVector
91 typedef std::vector<std::pair<RangeInt, RangeInt>> IntRangeVector; typedef in __anon09a2c6cc0111::StdLibraryFunctionsChecker
183 IntRangeVector Ranges;
187 RangeConstraint(ArgNo ArgN, RangeKind Kind, const IntRangeVector &Ranges) in RangeConstraint()
193 const IntRangeVector &getRanges() const { return Ranges; } in getRanges()
867 const IntRangeVector &R = getRanges(); in applyAsOutOfRange()
905 const IntRangeVector &R = getRanges(); in applyAsWithinRange()
1336 IntRangeVector Ranges) { in initFunctionSummaries()
1343 auto operator()(RangeKind Kind, IntRangeVector Ranges) { in initFunctionSummaries()
1352 return IntRangeVector{std::pair<RangeInt, RangeInt>{b, e}}; in initFunctionSummaries()
1356 return IntRangeVector{std::pair<RangeInt, RangeInt>{b, *e}}; in initFunctionSummaries()
1357 return IntRangeVector{}; in initFunctionSummaries()
1362 return IntRangeVector{i0, {i1.first, *(i1.second)}}; in initFunctionSummaries()
1363 return IntRangeVector{i0}; in initFunctionSummaries()
1367 return IntRangeVector{std::pair<RangeInt, RangeInt>{v, v}}; in initFunctionSummaries()