Re: Ada Address = C pointer ?

[Mark Johnson <Mark_H_Johnson@Raytheon.com>]

"M. A. Alves" wrote:

> Are these equivalences compiler(GNAT)-specific or of the language?
>
>   Ada                   C
>   -----------------------
>   Address          void *
>   Address          char *
>   Null_Address       NULL
>

In general - compiler specific. Having said that, I'm not aware of any
implementations where that kind of relationship is not true.

>
> If they are of the language, where on the ARM it says so?

Actually, I suggest a review of Annex B, section 3 (or B.3). For example,
at the end of B.3, the Implementation Advice describes the interface
correspondence that SHOULD (not must) be implemented. I believe GNAT
follows the implementation advice in this area. I would expect most other
vendors to do the same.
  --Mark