From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!ames!amdcad!sun!pitstop!sundc!seismo!uunet!mcvax!cernvax!cui!bertrand
From: bertrand@cui.UUCP (IBRAHIM Bertrand)
Newsgroups: comp.lang.ada
Subject: is this a bug of my Ada compiler
Message-ID: <243@cui.UUCP>
Date: 10 Oct 88 20:34:57 GMT
Reply-To: bertrand@cui.UUCP (IBRAHIM Bertrand)
Organization: University of Geneva/Switzerland
List-Id: <comp.lang.ada>

In the following sample code, I've been very surprised not to be warned by the 
compiler that the initial value for k was out of range:

  procedure bug is

  type T is range 0..255;
  k: constant T := 16#FFE1#;

  begin
    null;
  end bug;

Even at execution time, no exception was raised. I thought that at least at 
elaboration time I would get a numeric_error but it compiled and ran without 
any problem. It is only if I try to compare k to another object of type T that 
I get the numeric_error exception raised.

Is it normal behaviour or is it a bug in my VADS 5.5 compiler (the SUN 
implementation) ?

Thank you for your replies,

Bertrand Ibrahim.


              to BITNET                             to EAN
from
BITNET IBRAHIM@CGEUGE51.BITNET                 bertrand%cui.unige.ch@CERNVAX
ARPA   IBRAHIM%CGEUGE51.BITNET@CUNYVM.CUNY.EDU bertrand%cui.unige.ch@ubc.csnet
UUCP                                           cernvax!cui!bertrand.uucp
UUCP                                           mcvax!cernvax!cui!bertrand.uucp
UUCP                                           cui!bertrand@cernvax.UUCP
EAN                                            bertrand@cui.unige.ch