reopen 566061
found 566061 1.11r4-1
retitle 566061 adacontrol: [i386 only] ASIS exception when running Adacontrol
for Ahven sources
thanks
Tero Koskinen writes:
> I still get the bug inside Debian unstable chroot on i386 with
> Adacontrol 1.11r4-1. Is the i386 package patched and updated properly?
It would be nice if you would send such updates to the bug report,
566...@bugs.debian.org. Jean-Pierre and I will receive a copy
automatically, so no need to CC him or me.
> It is possible that "hg up -r 513" does not always bring the same version,
> so you can also use ahven-1.7 release sources as a test case.
$ hg identify
7b3d45889612 ahven-1.7
$ schroot -- make objects control
mkdir -p objects
rm -f objects/*.adt objects/*.ali
cd objects && adactl -f ../rules/ahven.aru ../src/*.ad[bs] ../test/*.ad[bs]
../src/unix/*.ad[bs]
rm -f objects/*.adt objects/*.ali
$ hg update
36 files updated, 0 files merged, 1 files removed, 0 files unresolved
$ hg identify
893f297384d2 tip
$ rm -rf objects
schroot -- make objects control
mkdir -p objects
rm -f objects/*.adt objects/*.ali
cd objects && adactl -f ../rules/ahven.aru ../src/*.ad[bs] ../test/*.ad[bs]
../src/unix/*.ad[bs]
rm -f objects/*.adt objects/*.ali
$
So, no error in my 64-bit unstable chroot. Let's try my i386 chroot:
$ schroot -c unstable32 -- make objects control
mkdir -p objects
rm -f objects/*.adt objects/*.ali
cd objects && adactl -f ../rules/ahven.aru ../src/*.ad[bs] ../test/*.ad[bs]
../src/unix/*.ad[bs]
============= Phase: Processing =============
ASIS error: ASIS.EXCEPTIONS.ASIS_FAILED
In rule: ENTITIES
For unit: FRAMEWORK_TESTS
Status : UNHANDLED_EXCEPTION_ERROR
Diagnosis: ASIS internal implementation error detected for
Asis.Declarations.Corresponding_Subprogram_Derivation
called with
A_PROCEDURE_DECLARATION
located in Dummy_Tests (spec, Unit_Id = 69, Context_Id = 1)
text position : ahven-framework.ads:115:4
Nodes:
Node : 3371 - N_SUBPROGRAM_DECLARATION
R_Node : 3371 - N_SUBPROGRAM_DECLARATION
Node_Field_1 : 10272 - N_DEFINING_IDENTIFIER
Node_Field_2 : 0 - N_EMPTY
Rel_Sloc :-34057
Is implicit
Is inherited
obtained from the tree framework_tests.adt (Tree_Id = 17)
CONSTRAINT_ERROR asis-declarations.adb:3464 invalid data
For more details activate the ASIS bug box
called in Actual procedure for Pre_Operation
with the argument : AN_IDENTIFIER
located in Framework_Tests (body, Unit_Id = 70, Context_Id = 1)
text position : 88 : 19 - 88 : 21
Nodes:
Node : 1930 - N_IDENTIFIER
R_Node : 1930 - N_IDENTIFIER
Node_Field_1 : 0 - N_EMPTY
Node_Field_2 : 0 - N_EMPTY
Rel_Sloc : 2624
obtained from the tree framework_tests.adt (Tree_Id = 17)
called in Asis.Iterator.Traverse_Element
with the argument : A_PACKAGE_BODY_DECLARATION
located in Framework_Tests (body, Unit_Id = 70, Context_Id = 1)
text position : 21 : 1 - 278 : 20
Nodes:
Node : 1666 - N_PACKAGE_BODY
R_Node : 1666 - N_PACKAGE_BODY
Node_Field_1 : 0 - N_EMPTY
Node_Field_2 : 0 - N_EMPTY
Rel_Sloc :-13
obtained from the tree framework_tests.adt (Tree_Id = 17)
/home/lbrenta/src/ada/ahven/test/framework_tests.adb:86:7: Error: Removable:
(normal) Framework_Tests.Test_Tear_Down.My_Listener, variable, not initialized,
not written, not read (can be removed)
/home/lbrenta/src/ada/ahven/test/framework_tests.adb:85:7: Error: Removable:
(normal) Framework_Tests.Test_Tear_Down.My_Test, variable, not initialized, not
written, not read (can be removed)
make: *** [control] Error 10
$
The constraint_error in asis-declarations.adb suggests this is also a
bug in ASIS. I'll try to investigate further.
--
Ludovic Brenta.
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
