[Bug ada/58264] incorrect bounds of string when assigned from dereference of function result

[ebotcazou at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58264

--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Author: ebotcazou
Date: Wed Sep 18 10:55:36 2013
New Revision: 202695

URL: http://gcc.gnu.org/viewcvs?rev=202695&root=gcc&view=rev
Log:
    PR ada/58264
    * gcc-interface/trans.c (Attribute_to_gnu): Define GNAT_PREFIX local
    variable and use it throughout.
    <Attr_Length>: Note whether the prefix is the dereference of a pointer
    to unconstrained array and, in this case, capture the result for both
    Attr_First and Attr_Last.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/gnat.dg/array_bounds_test2.adb
      - copied unchanged from r202694,
trunk/gcc/testsuite/gnat.dg/array_bounds_test2.adb
Modified:
    branches/gcc-4_8-branch/gcc/ada/ChangeLog
    branches/gcc-4_8-branch/gcc/ada/gcc-interface/trans.c
    branches/gcc-4_8-branch/gcc/testsuite/ChangeLog