Re: Thick bindings to a C library and gnattest: suggestions?

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Maurizio Tomasi <ziotom78@gmail.com> writes:

> I do not understand what causes this problem: in both cases the
> address of A's first element is not stored in a global variable but
> used as the argument to a procedure call. So how can this be a
> "non-local pointer"?

If you pass a pointer as a parameter to some separately compiled
procedure (written in Ada or C or whatever), the compiler can't
very well know that the callee doesn't copy it into a global.

Even locally, the compiler isn't required to track how you copy
pointers around the place -- the rule is conservative, and based
on the _type_.

- Bob