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-Thread: 103376,aa955fc1adc2b46d X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!news4.google.com!news3.google.com!news.glorb.com!proxad.net!fdn.fr!news.wanadoo.fr!news.wanadoo.fr!not-for-mail Message-ID: <4464ADA6.8000200@obry.net> Date: Fri, 12 May 2006 17:45:42 +0200 From: Pascal Obry Organization: Home - http://www.obry.net User-Agent: Thunderbird 1.5 (Windows/20051201) MIME-Version: 1.0 Newsgroups: comp.lang.ada To: David Emery Subject: Re: of possible interest References: <1146769504.421510.21010@j73g2000cwa.googlegroups.com> <8764klwpz5.fsf@ludovic-brenta.org> <87u082ouzs.fsf@ludovic-brenta.org> <0gcs52lejunc5qar09mf2mng2kg8kumedk@4ax.com> <20060507223701.175e2ec9@localhost.darkstar> <1147040746.9037.12.camel@localhost.localdomain> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit NNTP-Posting-Date: 12 May 2006 17:45:44 CEST NNTP-Posting-Host: 82.120.146.17 X-Trace: 1147448744 news.wanadoo.fr 6680 82.120.146.17:2349 X-Complaints-To: abuse@wanadoo.fr Xref: g2news2.google.com comp.lang.ada:4220 Date: 2006-05-12T17:45:44+02:00 List-Id: David Emery a �crit : > A good compiler should issue a warning in the following situation: > > declare > return_value : error_status_codes; > begin > return_value := some_function (parameters); > do_more_computations (parameters); > end; > noting that "return_value" is never used. That's usually a hint of a > problem. GNAT does that. Pascal. -- --|------------------------------------------------------ --| Pascal Obry Team-Ada Member --| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE --|------------------------------------------------------ --| http://www.obry.net --| "The best way to travel is by means of imagination" --| --| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595