From: "Markus Schöpflin" <no.spam@spam.spam>
Subject: Regression in AdaControl?
Date: Thu, 15 Oct 2015 16:23:31 +0200
Date: 2015-10-15T16:23:31+02:00 [thread overview]
Message-ID: <mvoct1$hs0$1@speranza.aioe.org> (raw)
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
next reply other threads:[~2015-10-15 14:23 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-10-15 14:23 Markus Schöpflin [this message]
2015-10-15 16:08 ` Regression in AdaControl? J-P. Rosen
2015-10-16 6:35 ` Markus Schöpflin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox