Global Definition Set Checks : (C7139) Elements containing out of range integer/real assignments

(C7139) Elements containing out of range integer/real assignments

Error In:
Correctness
Description:
Elements contain assignments of integers, where an out-of-range value is assigned to a restricted range integer; or one restricted range integer is assigned to another, where there is no intersection of ranges. It tests if an integer or real value is compared with a value outside its range, as well as values assigned to integer or real variable.
Erroneous Elements:
States, actions, data-items, transitions, and subroutines.
Global elements of a subroutine, SUB, must be declared as global elements of any other subroutine calling SUB.