Documentation of functions generated by GNAT?

Documentation of functions generated by GNAT?

[Natasha Kerensikova]

Hello,

I have been using gcov to perform coverage analysis to help me write
tests, and I get bad-looking results for specifications and for some
declarations, and in general for the coverage by-functions (while
by-source-line is fine).

I consider it as a limitation of the tool, since gcov is reporting
issues with C-or-lower level elements rather than my Ada source code.
However, I would welcome a trick that prevents such false positives,
i.e. actually using those functions generated by GNAT, even though I'm
set out to test my code rather than GNAT generators. That would help me
catch potential true positives buried among those.

To that end, I had a look at the function names reported to be present
but not executed.

For example, in the package Natools.S_Expressions, I have a limited
interface called Descriptor, with a set of abstract subprograms.
According to gcov, this specification yields three functions:

 * natools__s_expressions__TdescriptorCFD
 * natools__s_expressions__TdescriptorCFD__B20s___finalizer.3565
 * natools__s_expressions___elabs

but only the last one is actually used in my test suite.

While I would welcome help for that particular example, I would be even
more interested in some kind of reference to help me guess the
situations in which GNAT-generated functions are called.

Would you have any pointer to help me?


Thanks in advance,
Natasha