https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113862
Arnaud Charlet <charlet at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |charlet at gcc dot gnu.org Status|SUSPENDED |RESOLVED Resolution|--- |INVALID --- Comment #4 from Arnaud Charlet <charlet at gcc dot gnu.org> --- The AARM example is just wrong, the syntax isn't valid. The point of this section is to clarify when extra parens are not needed, it doesn't change the fact that you can't declare an unconstrained array like that without specifying the bounds, so GNAT's error message is correct.