Get the limit of a recurrence such that incrementing by Step cannot cause unsigned overflow as long as the value of the recurrence within the loop does not exceed this limit before incrementing.
source not stored for this graph (policy: none)
no test coverage detected