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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,7be3870dd9c9518f X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-12-15 18:21:33 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!arclight.uoregon.edu!wn13feed!wn11feed!wn12feed!worldnet.att.net!207.217.77.102!newsfeed2.earthlink.net!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!newsread1.prod.itd.earthlink.net.POSTED!not-for-mail Message-ID: <3DFD38A7.6080204@acm.org> From: Jeffrey Carter User-Agent: Mozilla/5.0 (Windows; U; Win98; en-US; rv:1.0.0) Gecko/20020530 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: CONSTRAINT_ERROR - why? References: <3DFB7841.F898C02@t-online.de> <3DFB8495.A655C512@t-online.de> <616gta.hk3.ln@beastie.ix.netcom.com> <3DFC878D.B6966C37@t-online.de> <2a9jta.1p3.ln@beastie.ix.netcom.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Date: Mon, 16 Dec 2002 02:20:24 GMT NNTP-Posting-Host: 63.184.9.152 X-Complaints-To: abuse@earthlink.net X-Trace: newsread1.prod.itd.earthlink.net 1040005224 63.184.9.152 (Sun, 15 Dec 2002 18:20:24 PST) NNTP-Posting-Date: Sun, 15 Dec 2002 18:20:24 PST Organization: EarthLink Inc. -- http://www.EarthLink.net Xref: archiver1.google.com comp.lang.ada:31866 Date: 2002-12-16T02:20:24+00:00 List-Id: Dennis Lee Bieber wrote: > > You stopped short of " *may* be outside"... I'll concede that I'd have > thought the compiler could have made the determination -- given that > the size of Fac_Conf_Struct is fixed at compile time. However, I expect > the 'Size returns a value defined in some "type" (call it "size_type") > which is probably 32-bit integer. So you have a 32-bit integer divided > by an anoymous integer; the result of that division, based solely on > the data types, /could/ exceed the result type BYTE. 'Size returns a universal integer, which is also the type of any integer literal or named number. -- Jeff Carter "Don't knock masturbation. It's sex with someone I love." Annie Hall