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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,b77711b44e516fd6,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-11-11 15:57:35 PST
Path: 
 nntp.gmd.de!xlink.net!news.dfn.de!swiss.ans.net!gatech!newsxfer.itd.umich.edu!zip.eecs.umich.edu!yeshua.marcam.com!charnel.ecst.csuchico.edu!nic-nac.CSU.net!csulb.edu!paris.ics.uci.edu!ucivax!gateway
From: kanderso@mabillon.ICS.UCI.EDU (Ken Anderson)
Subject: SunAda 1.1 bug
Message-ID: <9411101835.aa15843@paris.ics.uci.edu>
Newsgroups: comp.lang.ada
Date: 11 Nov 94 02:37:19 GMT
Date: 1994-11-11T02:37:19+00:00
List-Id: <comp.lang.ada>

Hi,

My friend discovered a bug in SunAda 1.1(i), and we were wondering if anyone
knows if it has been fixed in a later patch. To quote my friend, the problem:

"Instances of unconstrained types with *dynamic* type constraints,
such as "I : T ( 1..N*10 );" or "I : TP := new T ( 1..N*10 )" are
not properly deallocated.  In the first case, the variable should be
deallocated when the variable leaves scope, in the second case,
deallocation should occur when UNCHECKED_DEALLOCATION is called.

This means that anywhere code of the form:
        declare
          I : T ( <dynamic bound> );
or
          I := new T ( <dynamic bound> );
appears, SunAda leaks."

What we are worried about is that we can't as yet upgrade to version 2.0,
since UCI hasn't made the switch to Solaris, so does anyone know if this
was fixed in version 1.1 of the compiler?

Thanks in advance,

Ken Anderson