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,c615e41a65104004 X-Google-Attributes: gid103376,public From: pfk@schnecke.offl.uni-jena.de (Frank Klemm) Subject: Re: Plenty of unnecessary contraint tests (Was: Size code Ada and C) Date: 1998/07/10 Message-ID: #1/1 X-Deja-AN: 370256299 X-Nntp-Posting-Host: schnecke.offl.uni-jena.de Sender: news@fsuj50.rz.uni-jena.de (News System) References: <35921271.E51E36DF@aonix.fr> <6mtiv0$9j3@gcsin3.geccs.gecm.com> <6n7jut$al0$1@nnrp1.dejanews.com> <6navqt$shc$1@goanna.cs.rmit.edu.au> <359A53E2.41C6@lanl.gov> Organization: Pbzchgre fvaq hasruyone, Qnir Newsgroups: comp.lang.ada Date: 1998-07-10T00:00:00+00:00 List-Id: On 9 Jul 1998 22:05:37 -0400, Robert Dewar wrote: > >Incidentally, I can't begin to duplicate the assembly output you are >getting from GNAT, but probably that is because you are using an obsolete >version. > It's a new version I got 2 weeks ago from a ftp server referenced by adahome. If there is any newer in the web, inform me and I will test it again. Should I publish the full soures and the ducumented assembler output ? $ cat bin/* lib/*/*/*/gnat1 | strings GCC: (GNU) 2.7.2.1 GNAT Lib v3.10 GNAT Preprocessor Version 1.03 Copyright 1996 Free Software Foundation, Inc. XREF v3.10 c3.10p (970814)XREF v3.10 GNAT Lib v3.10 d3.10p (970814) Note, that I have added some code to prevent the optimizer from removing code. This code was written as ... in the text. Generally speaking a range tracking of every (local) variable is very exhausting, but that's no reason not to do this. Gnat seems to do nothing concerning this topic... -- Frank Klemm /------\ /-----------------------------------------------------\ | eMail: || pfk@uni-jena.de | home: pfk@schnecke.offl.uni-jena.de | | Tel: || | home: +49 (3641) 390545 | | sMail: || Frank Klemm, Ziegesarstr. 1, D-07747 Jena, Germany | \------/ \-----------------------------------------------------/