Re: gcc-7 breaks unsized C array bindings

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 08/27/2017 09:16 AM, Shark8 wrote:
> On Friday, August 25, 2017 at 2:03:08 AM UTC-6, ytomino wrote:
>>
>> Ada binding:
>>
>>   unsized_C_array : array (Interfaces.C.size_t) of Interfaces.C.int
>>      with Import, Convention => C, External_Name => "unsized_C_array";
> 
> This creates an array of exactly 0..size_t'last elements -- where size_t'last is at least Integer'Pred(2**16) -- this is quite obviously /NOT/ what you want, and the source of your Storage_Error (as each unsized_C_array takes up so much space).

No, because of Import, it should expect the object to be created by something 
else and should simply make this another name for it. If it is allocating space 
for this object, then that should be a compiler error.

I've done more interfacing with C than I would like, but I've never encountered 
this construct, so I've been reluctant to comment. A lot will depend on how the 
construct is used in the Ada. Is it simply passed to C functions, or are 
components actually accessed by indices?

-- 
Jeff Carter
"No one is to stone anyone until I blow this whistle,
do you understand? Even--and I want to make this
absolutely clear--even if they do say, 'Jehovah.'"
Monty Python's Life of Brian
74