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=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: =?UTF-8?Q?Markus_Sch=c3=b6pflin?= <no.spam@spam.spam>
Newsgroups: comp.lang.ada
Subject: Regression in AdaControl?
Date: Thu, 15 Oct 2015 16:23:31 +0200
Organization: Aioe.org NNTP Server
Message-ID: <mvoct1$hs0$1@speranza.aioe.org>
NNTP-Posting-Host: MdpKeRr+sx3LK7JQiK5aNw.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101
 Thunderbird/38.3.0
X-Notice: Filtered by postfilter v. 0.8.2
X-Mozilla-News-Host: news://nntp.aioe.org:119
Xref: news.eternal-september.org comp.lang.ada:27984
Date: 2015-10-15T16:23:31+02:00
List-Id: <comp.lang.ada>

Before raising an issue in the AdaControl bug tracker I would like to be sure 
that I'm indeed facing an AdaControl bug here, and not some issue on my side.

Given the follwing code:

   package FOO
   is
      type T;
      type CALLBACK_T is access procedure (P : T);
      type T is access INTEGER;
   end FOO;

and the following AdaControl rules file:

   Name_Clashes: check naming_convention (all, not "example");

When executing this with an old version of GnatPro and AdaControl "ADACTL v. 
1.14r9 with ASIS 2.0.R for GNAT Pro 6.3.2 (20100607)" everything is fine:

---%<---
 > adactl -v -f foo.aru foo
Controlling FOO specification

Total execution time: 0.0s.
--->%---

When executing the same command with a later version of GnatPro and the latest 
version of AdaControl "ADACTL v. 1.16r11 with ASIS 2.0.R for GNAT Pro 7.3.1 
(20150118)", I get the following:

---%<---
 > adactl -v -f foo.aru foo
Controlling FOO specification
============= Phase: Processing =============
AdaCtl version: 1.16r11 with ASIS 2.0.R for GNAT Pro 7.3.1 (20150118)
ASIS error: ASIS.EXCEPTIONS.ASIS_INAPPROPRIATE_ELEMENT
    In rule: NAMING_CONVENTION
   For unit: FOO
Status   : VALUE_ERROR
Diagnosis: Inappropriate Element Kind in 
Asis.Declarations.Corresponding_First_Subtype (AN_INCOMPLETE_TYPE_DECLARATION)
called in Actual procedure for Pre_Operation
with the argument : A_DEFINING_IDENTIFIER
located in FOO (spec, Unit_Id = 2, Context_Id = 1)
text position : foo.ads:4:41
    Nodes:
       Node            : 2043 - N_DEFINING_IDENTIFIER
       R_Node          : 2043 - N_DEFINING_IDENTIFIER
       Node_Field_1    : 0 - N_EMPTY
       Node_Field_2    : 0 - N_EMPTY
    Rel_Sloc           : 58
    obtained from the tree foo.adt (Tree_Id = 1)
called in Asis.Iterator.Traverse_Element
with the argument : AN_ORDINARY_TYPE_DECLARATION
located in FOO (spec, Unit_Id = 2, Context_Id = 1)
text position : foo.ads:4:4
    Nodes:
       Node            : 2051 - N_FULL_TYPE_DECLARATION
       R_Node          : 2051 - N_FULL_TYPE_DECLARATION
       Node_Field_1    : 0 - N_EMPTY
       Node_Field_2    : 0 - N_EMPTY
    Rel_Sloc           : 21
    obtained from the tree foo.adt (Tree_Id = 1)
called in Actual procedure for Pre_Operation
with the argument : A_PACKAGE_DECLARATION
located in FOO (spec, Unit_Id = 2, Context_Id = 1)
text position : foo.ads:1:1
    Nodes:
       Node            : 2062 - N_PACKAGE_DECLARATION
       R_Node          : 2062 - N_PACKAGE_DECLARATION
       Node_Field_1    : 0 - N_EMPTY
       Node_Field_2    : 0 - N_EMPTY
    Rel_Sloc           :-8
    obtained from the tree foo.adt (Tree_Id = 1)
called in Asis.Iterator.Traverse_Element
with the argument : A_PACKAGE_DECLARATION
located in FOO (spec, Unit_Id = 2, Context_Id = 1)
text position : foo.ads:1:1
    Nodes:
       Node            : 2062 - N_PACKAGE_DECLARATION
       R_Node          : 2062 - N_PACKAGE_DECLARATION
       Node_Field_1    : 0 - N_EMPTY
       Node_Field_2    : 0 - N_EMPTY
    Rel_Sloc           :-8
    obtained from the tree foo.adt (Tree_Id = 1)
Total execution time: 0.3s.
--->%---

Can anyone reproduce this with the latest version of AdaControl? I want to be 
sure that the error doesn't come from any problem on my side, e.g. due to 
incorrectly compiling AdaControl with the incorrect ASIS version or some other 
stupidity.

Thanks in advance,
Markus