Dubious "'foo' might be used uninitialized in this function" message

[Florian Weimer]

* Robert Dewar:

> first of all, there is no body of the parent unit in this case.

pragma Elaborate_All? *runs away*

> Second of all, pragma Unreferenced means you have something that is
> not referenced anywhere.

But warnings for the spec are only generated when it is compiled (or
its body).  A pragma Unreferenced in the body would suppress it this
warning.

Oh, wait, it's a generic unit.  I think warnings are issued in
multiple places. 8-(