> > GNAT is not fully conformant to all the semantics required for
> > in it's default mode, and rightly so, I believe. [..]"
> Err, why does this seem to be a plus point to you?
It's not a major issue for me, but my personal opinion is that the defaults
pass validation, and people who need the performance boost of turning off
kind of checking should have to do it intentionally.