SunAda 1.1 bug

[kanderso@mabillon.ICS.UCI.EDU (Ken Anderson)]

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