GNATCOV Instrument assigns wrong convention to body-internal null subprograms

[andrewathalye]

Take the following example:

package Test is
   procedure Run;
end Test;

package body Test is
   procedure C_Subp is null;
   pragma Convention (C, C_Subp);

   procedure Run is
   begin
      C_Subp;
   end Run;
end Test;

The test harness will generate a subprogram with no specified convention, which is a compiler error.

This is easy to fix manually, but ideally shouldn’t happen.