Searched refs:Off_tMax (Results 1 – 1 of 1) sorted by relevance
2238 std::optional<RangeInt> Off_tMax = getMaxValue(Off_tTy); in initFunctionSummaries() local2385 .Case({ReturnValueCondition(WithinRange, Range(0, Off_tMax))}, in initFunctionSummaries()