basic VRP min/max range overflow question

[Robert Dewar]

Michael Veksler wrote:

> As for overflow, you can say that you want instead of "undefined"
> to treat is "unspecified". 

In Ada 95 we introduced a new category of behavior, called a bounded
error. We tried to recategorize as many erroneous (= C undefined)
cases as possible to bounded error.

A bounded error is still considered incorrect programming, but the
standard specifies the range of possible results allowed.