*adactl -r -d -F CSVX -v -f rules.aru m_main.adb*
The problem is adacontrol says me Q_1.P_1 isn't executed but it is
called from a procedure instantiation.
*q_1.ads;4;13;Error;SR358_07;USAGE;"(normal) Q_1.P_1, visible,
procedure, not called, not accessed"*
I have been debugging and the problem is in rules-usage.adb.
In this file you try to get instantiated body fot this procedure
instantiation but corresponding_body return nil_element:
*Instantiated_Body : constant Asis.Declaration :=
I think corresponding_body returns nil because this body isn't in asis
context but I'm not sure.
For this reason I don't know if the problem is in ASIS or Adacontrol.
Where is the problem, in ASIS or Adacontrol?