[Bug ada/62117] function taking System.Address wrongly considered pure

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62117

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-02-02
            Summary|[4.9 regression] wrong code |function taking
                   |for passing small array     |System.Address wrongly
                   |argument'Address, in        |considered pure
                   |generic                     |
     Ever confirmed|0                           |1

--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Which of those is correct, the document or the behaviour of compiler?

The documentation, this looks like an oversight in the implementation.