VASG Issue Number:      0185
Comment Author:         Clive Charlwood for Sivaram Nayudu
Comment Number:         01
Comment Date:           1991/03/22

Accessing an object which is an alias is equivalent to accessing the object it
referred in the alias declaration. Assume that the range of the aliased object
is strcter than the range of the object is referring to. Now if the value
being accessed is already out of bounds for the aliased object, what should be
done. We could use the range constraint to check bounds when the object is
assigned by assigning to the aliased object. This, however, will make it
inconsistent and should not be allowed.

Conclusion:
    LRM section 4.3.4 (page 4-13) should be modified to disallow range
    constraints in alias declarations.