Re: "Do not use" feature list for GNAT

[Niklas Holsti <nobody@nowhere.fi>]

Florian Weimer wrote:
> Would you like to share a list of language areas which you should
> avoid when using GNAT because AdaCore customers do not stress-test
> them and they are riddled with strange bugs?
> 
> My current list looks roughly like this:
> 
>   - access discriminants (several ICE-on-legal bugs)
> 
>   - subunits (ICE, maybe on invalid input, I'm not sure)
> 
>   - the 'Valid attribute (wrong-code bug with GCC 4)
> 
>   - conditional entry calls (run-time bug in GNAT 3.15p)
> 
> Anything I've missed so far?

I have seen wrong results from the predefined "=" operator for 
packed Boolean arrays (logically equal values were reported as not 
equal). This was GNAT 3.15p on Debian Sarge. I worked around the 
problem by defining my own, ugly, element-by-element version of 
the "=" operator.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .