Package: adacontrol Version: 1.9r4-1 Severity: normal AdaControl gives me Constraint_Error when I try to check the source code of Ahven.
Steps to reproduce: hg clone http://bitbucket.org/tkoskine/ahven cd ahven hg up -r 513 make objects make control Exception is following: $ make control rm -f objects/*.adt objects/*.ali cd objects && adactl -f ../rules/ahven.aru ../src/*.ad[bs] ../test/*.ad[bs] ../src/unix/*.ad[bs] /home/tkoskine/work/bitbucket.org/ahven/objects ============= 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 : not available Nodes: Node : 3371 - N_SUBPROGRAM_DECLARATION R_Node : 3371 - N_SUBPROGRAM_DECLARATION Node_Field_1 : 10280 - N_DEFINING_IDENTIFIER Node_Field_2 : 0 - N_EMPTY Rel_Sloc :-34583 Is implicit Is inherited obtained from the tree framework_tests.adt (Tree_Id = 17) CONSTRAINT_ERROR asis-declarations.adb:3466 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/tkoskine/work/bitbucket.org/ahven/test/framework_tests.adb:86:7: Error: Removable: (normal) Framework_Tests.Test_Tear_D own.My_Listener, variable, not initialized, not written, not read (can be removed) /home/tkoskine/work/bitbucket.org/ahven/test/framework_tests.adb:85:7: Error: Removable: (normal) Framework_Tests.Test_Tear_D own.My_Test, variable, not initialized, not written, not read (can be removed) make: *** [control] Error 10 $ On OpenBSD same testcase passes with older Adacontrol combined to GNAT GPL 2008 ASIS: ADACTL v. 1.7r9 with ASIS 2.0.R for GNAT GNAT GPL 2008 Copyright (C) 2004-2007 Eurocontrol/Adalog and others. -- System Information: Debian Release: 5.0.3 APT prefers stable APT policy: (500, 'stable') Architecture: i386 (i686) Kernel: Linux 2.6.31.5-linode21 (SMP w/4 CPU cores) Locale: LANG=C, LC_CTYPE=fi_FI (charmap=ANSI_X3.4-1968) (ignored: LC_ALL set to C) Shell: /bin/sh linked to /bin/bash Versions of packages adacontrol depends on: ii gnat-4.3 4.3.2-1.1 The GNU Ada compiler ii libasis2007 2007-4 Ada Semantic Interface Specificati ii libc6 2.7-18 GNU C Library: Shared libraries ii libgcc1 1:4.3.2-1.1 GCC support library ii libgnat-4.3 4.3.2-1.1 Runtime library for GNU Ada applic ii libgnatvsn4.3 4.3.2-1.1 GNU Ada compiler version library adacontrol recommends no packages. adacontrol suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
