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,f70e7a457bf23e69 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1995-03-27 23:49:21 PST Path: nntp.gmd.de!Germany.EU.net!howland.reston.ans.net!newsjunkie.ans.net!butch!cliffy.lfwc.lockheed.com!l107353 From: l107353@cliffy.lfwc.lockheed.com (Garlington KE) Newsgroups: comp.lang.ada Subject: Re: Optimizing and Constraint Checks Date: 27 Mar 1995 16:58:48 GMT Organization: Lockheed Missiles and Space Co. Message-ID: <3l6qs8$njp@butch.lmsc.lockheed.com> References: <3kv990$o7d@butch.lmsc.lockheed.com> <3l3l2v$ria@gnat.cs.nyu.edu> NNTP-Posting-Host: cliffy.lfwc.lockheed.com X-Newsreader: TIN [version 1.2 PL2] Date: 1995-03-27T16:58:48+00:00 List-Id: Robert Dewar (dewar@cs.nyu.edu) wrote: : Wait a moment! In the absence of an numeration rep clause, this whole : discussion is irrelevant. If you don't have a rep clause, you just use : Pos and Val to go backwards andd forwards and the whole apparatus of : the generic is junk! Yes, I'm assuming it's supposed to support both cases (with and without a rep clause). There is one other obscure possibility that can hang this code as well, even in the absense of a rep spec. A strange compiler could align enum values in a storage unit differently than for integers. I've never seen this in practice for enums, although it happens a lot for packed arrays of BOOLEAN. If the compiler doesn't shift the value on an UNCHECKED_ CONVERSION (which, according to an AI, it's supposed to, although some don't), then your results are trashed. -- -------------------------------------------------------------------- Ken Garlington GarlingtonKE@lfwc.lockheed.com F-22 Computer Resources Lockheed Fort Worth Co. If LFWC or the F-22 program has any opinions, they aren't telling me.