pragma convention

[Anonymous Coward <bogus_addy@bogus_domain.net>]

In article <87y8435fve.fsf@code-hal.de>, Michael Bode wrote:
> Anonymous Coward <bogus_addy@bogus_domain.net> writes:
> 
>> Perhaps, but for interfacing with C operations (which is my case),
>> I would prefer to simply write "pragma convention (C, my_record)"
>> and be able to expect the compiler to base the representational
>> spec purely off the operational spec, just as the C compiler would
>> for a structure that only has an operational spec.
> 
> But then you should be able to specify *which* C Compiler. That is
> which brand and version number, otherwise your Ada compiler is just
> guessing. E.g. the specification of type bool has changed for MS C
> somewhere around version 4.2 from 32 bits to 8 bits.

You raise a good point, assuming C compilers all have the freedom to
represent types arbitrarily.  So what's the point of the current
existence of pragma Convention?  What can I expect pragma convention
to do for me?