AdaCL vs GNAT2007: "Deep_Tag_Finalize" not declared in "Finalization_Implementation" error

AdaCL vs GNAT2007: "Deep_Tag_Finalize" not declared in "Finalization_Implementation" error

[Erik J Pessers]

Dear all,

Trying GNAT2007 iso the GCC GNAT compiler poses one issue: the Ada
code I'm using relies on the ADACL library, and in particular the CG
(garbage collection) modules. These seem to depend on a routine
"Deep_Tag_Finalize" which is available in the Debian distro
gcc-gnat compiler, but does not seem to be available in Gnat2007
(scanned the adainclude directory but found no match).

Compiling using Gnat2007 results in:

    bash-3.1$ gnatmake utils-booleans-dsc
    gcc -c -gnato -fstack-check -O2 utils-booleans-dsc.adb
    ...
    gcc -c -gnato -fstack-check -O2 adacl.ads
    gcc -c -gnato -fstack-check -O2 adacl-gc.adb
    adacl-gc.adb:105:13: "Deep_Tag_Finalize" not declared in \
       "Finalization_Implementation"
    gnatmake: "adacl-gc.adb" compilation error


Anyone out there who has seen this problem before, and who can advise?

TIA

Re: AdaCL vs GNAT2007: "Deep_Tag_Finalize" not declared in "Finalization_Implementation" error

[Ludovic Brenta]

Erik J Pessers writes:
> Dear all,
>
> Trying GNAT2007 iso the GCC GNAT compiler poses one issue: the Ada
> code I'm using relies on the ADACL library, and in particular the CG
> (garbage collection) modules. These seem to depend on a routine
> "Deep_Tag_Finalize" which is available in the Debian distro
> gcc-gnat compiler, but does not seem to be available in Gnat2007
> (scanned the adainclude directory but found no match).

Deep_Tag_Finalize was removed during the First Giant Merge of AdaCore
to the GCC sources on October 21, 2003 (Subversion commit 72751).

Therefore I infer that the Debian distro you speak of is Debian 3.1
"Sarge" where the compiler is gnat 3.15p.  All versions after that
(i.e. gnat-4.1 in Debian 4.0 "Etch") lack Deep_Tag_Finalize.

Unfortunately you are probably not going to like my advice: rewrite
the GC part of AdaCL to match the more recent versions of GCC and GNAT
GPL Edition.

-- 
Ludovic Brenta.

Re: AdaCL vs GNAT2007: "Deep_Tag_Finalize" not declared in "Finalization_Implementation" error

[Erik J Pessers]

Ludovic Brenta wrote:
> Erik J Pessers writes:
>> Dear all,
>>
>> Trying GNAT2007 iso the GCC GNAT compiler poses one issue: the Ada
>> code I'm using relies on the ADACL library, and in particular the CG
>> (garbage collection) modules. These seem to depend on a routine
>> "Deep_Tag_Finalize" which is available in the Debian distro
>> gcc-gnat compiler, but does not seem to be available in Gnat2007
>> (scanned the adainclude directory but found no match).
> 
> Deep_Tag_Finalize was removed during the First Giant Merge of AdaCore
> to the GCC sources on October 21, 2003 (Subversion commit 72751).
> 
> Therefore I infer that the Debian distro you speak of is Debian 3.1
> "Sarge" where the compiler is gnat 3.15p.  All versions after that
> (i.e. gnat-4.1 in Debian 4.0 "Etch") lack Deep_Tag_Finalize.
> 
> Unfortunately you are probably not going to like my advice: rewrite
> the GC part of AdaCL to match the more recent versions of GCC and GNAT
> GPL Edition.
> 
Ludovic,

Thx for feedback.

Re Debian: I'm using Debian Lenny, with gnat-4.1 (4.1.2-8)
and this *is* (still?) providing Deep_Tag_Finalize; I suppose
that will soon change then.

I'll follow up on the advise to delve into it: the situation
may change apparently. Not the most easy part of Ada to delve
into though. We'll see.

Re: AdaCL vs GNAT2007: "Deep_Tag_Finalize" not declared in "Finalization_Implementation" error

[Ludovic Brenta]

Erik J Pessers writes:
> Re Debian: I'm using Debian Lenny, with gnat-4.1 (4.1.2-8) and this
> *is* (still?) providing Deep_Tag_Finalize; I suppose that will soon
> change then.

Ah, I was wrong then.  The procedures were removed much more recently
than I initially thought.  The culprit is:

    2007-04-06  Robert Dewar  <dewar@adacore.com>
            Thomas Quinot  <quinot@adacore.com>
            Ed Schonberg  <schonberg@adacore.com>
            Bob Duff  <duff@adacore.com>
[...]
        * s-finimp.ads, s-finimp.adb (Move_Final_List): New procedure to move
        a return statement's finalization list to the caller's list, used for
        build-in-place functions with result type with controlled parts.
        Remove no longer used entities.
[...]

This is revision 123558 in Subversion.  The next version of GCC
without these procedures will be 4.3.0 (not released yet).

> I'll follow up on the advise to delve into it: the situation may
> change apparently. Not the most easy part of Ada to delve into
> though. We'll see.

Since the procedures you need were removed because they were "unused",
it may be possible to reintroduce them into the compiler.  However the
risk is that they do not work with Ada 2005's interfaces.

-- 
Ludovic Brenta.

Re: AdaCL vs GNAT2007: "Deep_Tag_Finalize" not declared in "Finalization_Implementation" error

[Stephen Leake]

Erik J Pessers <vt6145886@tele2allin.be> writes:

> Trying GNAT2007 iso the GCC GNAT compiler poses one issue: the Ada
> code I'm using relies on the ADACL library, and in particular the CG
> (garbage collection) modules. These seem to depend on a routine
> "Deep_Tag_Finalize" which is available in the Debian distro
> gcc-gnat compiler, but does not seem to be available in Gnat2007
> (scanned the adainclude directory but found no match).
>
> Compiling using Gnat2007 results in:
>
>     bash-3.1$ gnatmake utils-booleans-dsc
>     gcc -c -gnato -fstack-check -O2 utils-booleans-dsc.adb
>     ...
>     gcc -c -gnato -fstack-check -O2 adacl.ads
>     gcc -c -gnato -fstack-check -O2 adacl-gc.adb
>     adacl-gc.adb:105:13: "Deep_Tag_Finalize" not declared in \
>        "Finalization_Implementation"
>     gnatmake: "adacl-gc.adb" compilation error

Since "Finalization_Implementation" is _not_ a standard Ada package,
but is a compiler-specific package, the best solution is for ADACL to
stop using it.

Why does ADACL need it? 

Alternately, you may be able to simply copy the source for
Deep_Tag_Finalize, and put it in an ADACL package.

-- 
-- Stephe

Re: AdaCL vs GNAT2007: "Deep_Tag_Finalize" not declared in "Finalization_Implementation" error

[Martin Krischik]

Erik J Pessers schrieb:
> Dear all,
> 
> Trying GNAT2007 iso the GCC GNAT compiler poses one issue: the Ada
> code I'm using relies on the ADACL library, and in particular the CG
> (garbage collection) modules. These seem to depend on a routine
> "Deep_Tag_Finalize" which is available in the Debian distro
> gcc-gnat compiler, but does not seem to be available in Gnat2007
> (scanned the adainclude directory but found no match).
> 
> Compiling using Gnat2007 results in:
> 
>     bash-3.1$ gnatmake utils-booleans-dsc
>     gcc -c -gnato -fstack-check -O2 utils-booleans-dsc.adb
>     ...
>     gcc -c -gnato -fstack-check -O2 adacl.ads
>     gcc -c -gnato -fstack-check -O2 adacl-gc.adb
>     adacl-gc.adb:105:13: "Deep_Tag_Finalize" not declared in \
>        "Finalization_Implementation"
>     gnatmake: "adacl-gc.adb" compilation error
> 
> 
> Anyone out there who has seen this problem before, and who can advise?

Wow - somebody is using my Library!!! Well the problem has been solved
in the Subversion copy.

Martin

-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com

Re: AdaCL vs GNAT2007: "Deep_Tag_Finalize" not declared in "Finalization_Implementation" error

[Martin Krischik]

Ludovic Brenta schrieb:
> Erik J Pessers writes:
>> Dear all,
>>
>> Trying GNAT2007 iso the GCC GNAT compiler poses one issue: the Ada
>> code I'm using relies on the ADACL library, and in particular the CG
>> (garbage collection) modules. These seem to depend on a routine
>> "Deep_Tag_Finalize" which is available in the Debian distro
>> gcc-gnat compiler, but does not seem to be available in Gnat2007
>> (scanned the adainclude directory but found no match).
> 
> Deep_Tag_Finalize was removed during the First Giant Merge of AdaCore
> to the GCC sources on October 21, 2003 (Subversion commit 72751).

> Therefore I infer that the Debian distro you speak of is Debian 3.1
> "Sarge" where the compiler is gnat 3.15p.  All versions after that
> (i.e. gnat-4.1 in Debian 4.0 "Etch") lack Deep_Tag_Finalize.
> 

Last I checked it was still part of GCC 4.2.2 - which shows how far back
that version really is :-(.

Martin
-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com

Re: AdaCL vs GNAT2007: "Deep_Tag_Finalize" not declared in "Finalization_Implementation" error

[Simon Wright]

Stephen Leake <stephen_leake@stephe-leake.org> writes:

> Since "Finalization_Implementation" is _not_ a standard Ada package,
> but is a compiler-specific package, the best solution is for ADACL
> to stop using it.
>
> Why does ADACL need it?

I suppose because hooking in to garbage collection is pretty
compiler-specific?

Re: AdaCL vs GNAT2007: "Deep_Tag_Finalize" not declared in "Finalization_Implementation" error

[Martin Krischik]

Simon Wright wrote:

> Stephen Leake <stephen_leake@stephe-leake.org> writes:
> 
>> Since "Finalization_Implementation" is _not_ a standard Ada package,
>> but is a compiler-specific package, the best solution is for ADACL
>> to stop using it.
>>
>> Why does ADACL need it?
> 
> I suppose because hooking in to garbage collection is pretty
> compiler-specific?

Indeed - that's why you can switch off garbage collection ;-) . The next
AdaCL version won't use Finalization_Implementation when GC has been
switched of.

As for GCC 4.3 - I have to see how I fix that.

Martin
-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com