Re: Storage_Error: mine's or gnat's fault?

["Alejandro R. Mosteo" <alejandro@mosteo.com>]

On 04/06/16 20:50, Simon Wright wrote:
> "Alejandro R. Mosteo" <alejandro@mosteo.com> writes:
>
>> Using the Indefinite_Doubly_Linked_List the problem is equally suspect
>> (this is code from a-cidlli.adb):
>>
>>     function First_Element (Container : List) return Element_Type is
>>     begin
>>        if Checks and then Container.First = null then
>>           raise Constraint_Error with "list is empty";
>>        end if;
>>
>>        return Container.First.Element.all; -- <-- RAISES
>>     end First_Element;
>
> For info, in Ada.Containers.Helpers.Generic_Implementation,
> in a-conhel.ads,
>
>        Checks : constant Boolean := Container_Checks'Enabled;
>
> And, using Gautier's example, on OS X, neither FSF GCC 6.1.0 nor GNAT
> GPL 2016 show the problem (a-cidlli.adb is the same in both compilers
> bar the runtime exception, so they are clearly of a similar vintage).

Thanks for the info, although I don't think I'm suppressing any checks, 
but I will double-check (ha).

Álex.