[Bug ada/53766] [4.7/4.8 regression] ICE in build_binary_op on Max_Size_In_Storage_Elements with -gnatp

["ebotcazou at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-12-15 18:16:33 UTC ---
Author: ebotcazou
Date: Sat Dec 15 18:16:28 2012
New Revision: 194522

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194522
Log:
    PR ada/53766
    Backport from mainline

    2012-07-17  Hristian Kirtchev  <kirtchev@adacore.com>

    * exp_attr.adb (Expand_N_Attribute_Reference): Add local variables Attr
    and Conversion_Added.  Add local constant Typ.
    Retrieve the original attribute after the arithmetic check
    machinery has modified the node. Add a conversion to the target
    type when the prefix of attribute Max_Size_In_Storage_Elements
    is a controlled type.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/gnat.dg/controlled7.adb
      - copied unchanged from r194521,
trunk/gcc/testsuite/gnat.dg/controlled7.adb
    branches/gcc-4_7-branch/gcc/testsuite/gnat.dg/controlled7.ads
      - copied unchanged from r194521,
trunk/gcc/testsuite/gnat.dg/controlled7.ads
Modified:
    branches/gcc-4_7-branch/gcc/ada/ChangeLog
    branches/gcc-4_7-branch/gcc/ada/exp_attr.adb
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog