From: Vincent Celier Date: Tue, 31 Oct 2006 17:59:28 +0000 (+0100) Subject: g-debpoo.adb (Is_Valid): Correctly compute Offset using Integer_Address arithmetic... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5b8b9057447820207979224e4aa151b2a6d19d00;p=gcc.git g-debpoo.adb (Is_Valid): Correctly compute Offset using Integer_Address arithmetic, as in Set_Valid. 2006-10-31 Vincent Celier * g-debpoo.adb (Is_Valid): Correctly compute Offset using Integer_Address arithmetic, as in Set_Valid. From-SVN: r118275 --- diff --git a/gcc/ada/g-debpoo.adb b/gcc/ada/g-debpoo.adb index 1854623da34..770f731aa1e 100644 --- a/gcc/ada/g-debpoo.adb +++ b/gcc/ada/g-debpoo.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2005, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2006, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -555,9 +555,18 @@ package body GNAT.Debug_Pools is -------------- function Is_Valid (Storage : System.Address) return Boolean is + + -- We use the following constant declaration, instead of + -- Offset : constant Storage_Offset := + -- (Storage - Edata) / Default_Alignment; + -- See comments in Set_Valid for details. + Offset : constant Storage_Offset := - (Storage - Edata) / Default_Alignment; + Storage_Offset ((To_Integer (Storage) - To_Integer (Edata)) / + Default_Alignment); + Bit : constant Byte := 2 ** Natural (Offset mod System.Storage_Unit); + begin return (Storage mod Default_Alignment) = 0 and then Offset >= 0