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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,74a56083ffbe573d
X-Google-Attributes: gid103376,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Zoo question
Date: 1996/08/18
Message-ID: <dewar.840342163@schonberg>#1/1
X-Deja-AN: 174925183
references: <320F16B6.6944@lmtas.lmco.com>
 <3210A142.2781E494@escmail.orl.mmc.com> <3211C462.19D9@lmtas.lmco.com>
 <3212468B.2781E494@escmail.orl.mmc.com> <321301EC.2C4D@lmtas.lmco.com>
organization: Courant Institute of Mathematical Sciences
newsgroups: comp.lang.ada
Date: 1996-08-18T00:00:00+00:00
List-Id: <comp.lang.ada>


Ken asks

"Assuming no supresses, would there be a case where #1 would not apply (no
exception on assignment)?"

No, the code you wrote MUST give an exception on the assignment. Any
speculation to the contrary is simply misinformed, any compiler that
does not raise the exception (assuming checks are turned on) is simply
broken, and it is a bug.