Editing Bounds checking (section)

==Range checking==
A range check is a check to make sure a number is within a certain range; for example, to ensure that a value about to be assigned to a 16-bit integer is within the capacity of a 16-bit integer (i.e. checking against [[Arithmetic overflow|wrap-around]]). This is not quite the same as [[type checking]].{{how|date=March 2024}} Other range checks may be more restrictive; for example, a variable to hold the number of a calendar month may be declared to accept only the range 1 to 12.

Example in [[Python (programming language)|Python]]:
<syntaxhighlight lang="python">
def set_month(month: int):
    if month < 1 or month > 12:
        raise ValueError("The month must be between 1 and 12")
</syntaxhighlight>