http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59356
--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Author: ebotcazou Date: Mon Dec 2 11:20:14 2013 New Revision: 205585 URL: http://gcc.gnu.org/viewcvs?rev=205585&root=gcc&view=rev Log: PR tree-optimization/59356 * tree-dfa.h (get_addr_base_and_unit_offset_1) <case ARRAY_REF>: Do the offset computation using the precision of the index type. Added: trunk/gcc/testsuite/gnat.dg/opt30.adb Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-dfa.h