> Is your concern the cost of calling lower/upper_bound_in_type? Yes, all the more so if other uses of TYPE_MIN/MAX_VALUE get replaced over time. IMO this is going backwards. The Ada compiler heavily uses types with non-canonical bounds and was changed so it's hard to believe that this isn't doable for the C family of compilers.
-- Eric Botcazou
