Re: [PATCH]: Structure aliasing, part 1

[Geert Bosch <bosch at adacore dot com>]

On Mar 12, 2005, at 19:27, Daniel Berlin wrote:
> I've simply disabled SFT's for ada for now, through making it a flag 
> and
> making the ada frontend set the flag to 0.
>
> This is because it looks like the threshold would have to be a *lot*
> lower than it is now (it's currently half a million, and i'd probably
> have to set it to 10000 or less), and that seems more significant a
> change to the patch than simply not enabling it for Ada for now.

Of course, the flip-side is that the Ada front end really exercises
this code. Situations that are rare in C/C++ are common in Ada, and
leaving this code enabled will result in much higher confidence about
its correctness and effectiveness.

I think it might be appropriate to set certain parameters and thresholds
differently for the Ada front end, but the extensive use of structure 
types
in Ada would seem to make it an ideal test case for structure aliasing.
Note that I don't object to eventually disabling this for the 4.1 
release,
but it would be nice to first get more experience/data.

  -Geert