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 X-Google-Thread: 103376,7f1e0b399cd01cb0 X-Google-Attributes: gid103376,public From: "Jean-Pierre Rosen" Subject: Re: Unreferenced lock variables Date: 1999/04/12 Message-ID: <7eta1t$pp0$2@wanadoo.fr>#1/1 X-Deja-AN: 465542144 Content-Transfer-Encoding: 8bit References: <7ero31$n46$1@nnrp1.dejanews.com> <7esrmv$k1n$1@nnrp1.dejanews.com> Content-Type: text/plain; charset="iso-8859-1" X-MimeOLE: Produced By Microsoft MimeOLE V4.72.2120.0 X-Complaints-To: abuse@wanadoo.fr X-Trace: wanadoo.fr 923937661 26400 164.138.181.89 (12 Apr 1999 17:21:01 GMT) Organization: Adalog Mime-Version: 1.0 NNTP-Posting-Date: 12 Apr 1999 17:21:01 GMT Newsgroups: comp.lang.ada Date: 1999-04-12T17:21:01+00:00 List-Id: Robert Dewar a �crit dans le message <7esrmv$k1n$1@nnrp1.dejanews.com>... >With regard to initialization and finalization, the ARG >just agreed (unwisely if you ask me!) to allow a compiler >to optimize away initialization and finalization for an >otherwise unreferenced variable. GNAT does not take >advantage of this, but it means that to be compeltely >portable, you need to put in a dummy reference to the >variable. Only for non-limited controlled types. If you don't use the variable, make the type limited. It makes no difference, and the AI ensures that Initialization/Finalization is NOT optimized away. --------------------------------------------------------- J-P. Rosen (Rosen.Adalog@wanadoo.fr) Visit Adalog's web site at http://perso.wanadoo.fr/adalog