From: Arnaud Charlet Date: Mon, 26 May 2008 15:52:16 +0000 (+0200) Subject: * sem_attr.adb: Add some ??? comments for previous change X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=edde779b94d7b50231977cb38ec4e36339d83486;p=gcc.git * sem_attr.adb: Add some ??? comments for previous change From-SVN: r135949 --- diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 79a6f020feb..768cdf63ee4 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -8089,8 +8089,26 @@ package body Sem_Attr is -- Arr (X .. Y)'address is identical to Arr (X)'address, -- even if the array is packed and the slice itself is not -- addressable. Transform the prefix into an indexed component. + -- Note that the transformation is safe only if we know that - -- the slice is non-null. + -- the slice is non-null. That is because a null slice can have + -- an out of bounds index value. + + -- Right now, gigi blows up if given 'Address on a slice, and + -- this covers up that bug in one case, but the bug is likely + -- still there in the cases not transformed by this code ??? + + -- It's not clear what 'Address *should* return for a null + -- slice with out of bounds indexes, this might be worth an ARG + -- discussion ??? + + -- One approach would be to do a length check unconditionally, + -- and then do the transformation below unconditionally, but + -- analyze with checks off, avoiding the problem of the out of + -- bounds index. This approach would interpret the address of + -- an out of bounds null slice as being the address where the + -- array element would be if there was one, which is probably + -- as reasonable an interpretation as any ??? declare Loc : constant Source_Ptr := Sloc (P);