Re: New GNAT ports (was Re: Ada and Automotive Industry)

[Ken Garlington <GarlingtonKE@lmtas.lmco.com>]

Robert Dewar wrote:
> 
> Richard suggests:
> 
> [%] The pragma is
>         pragma Origin(non-negative constant integer expression);
>     saying that the first byte of the textually following statement
>     is to be at the given address.  That was the only thing I saw in
>     the 8051 book I was reading that I couldn't do in a reasonable
>     Ada subset.
> 
> Well if we added this pragma, it is clear the argument should be of
> type address, but in any case the pragma is redundant. The proper
> diction is:
> 
>   for label'address use expression
> 
> and then you simply label the statement
> 
> It actually makes more conceptual sense to me to put a subprogram
> at a particular address, rather than a statement, in which case you
> can use
> 
>   for subprogram'address use expression
> 
> which is more familiar (and more likely to be supported out of the box,
> although GNAT suports neither diction currently).

I think you would also want to be able to control the placement of code,
and literal sections of a subprogram (and, for packages, static data)
indepedently,
but that's easily done via linker commands in many systems.

--
LMTAS - The Fighter Enterprise - "Our Brand Means Quality"
For job listings, other info: http://www.lmtas.com or
http://www.lmco.com