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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,df40d0d1975a16a6 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-06-14 07:59:05 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!border3.nntp.aus1.giganews.com!nntp.giganews.com!wn14feed!worldnet.att.net!bgtnsc05-news.ops.worldnet.att.net.POSTED!not-for-mail Newsgroups: comp.lang.ada Subject: Re: Optimizing Boundary Checks From: James Rogers References: <20030613140324.0000372e._elh_@_terma_._com_> Message-ID: User-Agent: Xnews/5.04.25 Date: Sat, 14 Jun 2003 14:59:05 GMT NNTP-Posting-Host: 12.86.39.165 X-Complaints-To: abuse@worldnet.att.net X-Trace: bgtnsc05-news.ops.worldnet.att.net 1055602745 12.86.39.165 (Sat, 14 Jun 2003 14:59:05 GMT) NNTP-Posting-Date: Sat, 14 Jun 2003 14:59:05 GMT Organization: AT&T Worldnet Xref: archiver1.google.com comp.lang.ada:39173 Date: 2003-06-14T14:59:05+00:00 List-Id: Preben Randhol wrote in news:slrnbelv59.sl.randhol+abuse@kiuk0152.chembio.ntnu.no: > But still I'm a bit confused. The original poster was he right or did he > have to use type ... in stead of subtype to get the boundary checks > optimized out? > > Sorry to reitterate my qeustions, just want to understand this 100% :-) > To get the boundary checks optimized out you must use a type. Note that some compilers still do not optimize out the boundary checks with a type. They are looking for a specific range notation rather than inferring the range from the type. Jim Rogers