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,2308afbbe4ecec0b
X-Google-Attributes: gid103376,public
From: Gautier <gautier.demontmollin@maths.unine.ch>
Subject: Re: Subverting 'Access for Sub-programs
Date: 1999/08/07
Message-ID: <37AC3BEA.18FA38B0@maths.unine.ch>#1/1
X-Deja-AN: 509936722
Content-Transfer-Encoding: 7bit
References: <37A71EF1.2201@dera.gov.uk> <37A7FDE8.4F5@dera.gov.uk>
 <7o9vrv$qgt$1@wanadoo.fr>
 <Pine.BSF.4.10.9908042041540.29130-100000@shell5.ba.best.com>
 <7oc5ih$6mb$1@wanadoo.fr>
 <Pine.BSF.4.10.9908062152180.13141-100000@shell5.ba.best.com>
To: Brian Rogoff <bpr@shell5.ba.best.com>
Content-Type: text/plain; charset=us-ascii
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1999-08-07T00:00:00+00:00
List-Id: <comp.lang.ada>

Brian Rogoff wrote:

> > RR software has full generics sharing.
> 
> Anyone do sometimes share / sometimes expand? I'm curious.

DEC Ada does (/OPTIMIZE=...)

     The SHARE secondary option can have the following values:

     NONE          Disables generic sharing. This option overrides
                   the effect of any occurrences of the pragma SHARE_
                   GENERIC in the source code, without your having to
                   edit the source file. In addition, instances do not
                   share code from previous instantiations.
     NORMAL        Provides normal generic sharing. Normally, the
                   compiler will not attempt to generate shareable
                   code for an instance (code that can be shared
                   by subsequent instantiations) unless an explicit
                   pragma SHARE_GENERIC applies to that instance.
                   However, an instance will attempt to share code
                   that resulted from a previous instantiation to
                   which the pragma SHARE_GENERIC applied.
     MAXIMAL       Provides maximal generic sharing. The compiler
                   assumes that a pragma SHARE_GENERIC applies to
                   every instance in the unit being compiled unless
                   an explicit pragma INLINE_GENERIC applies. Thus, an
                   instance will attempt to share code that resulted
                   from a previous instantiation or to generate code
                   that can be shared by subsequent instantiations.

-- 
Gautier

--------
http://members.xoom.com/gdemont/