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.
