diff options
| author | Vincent Celier <celier@adacore.com> | 2006-10-31 18:59:28 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2006-10-31 18:59:28 +0100 |
| commit | 5b8b9057447820207979224e4aa151b2a6d19d00 (patch) | |
| tree | 4af9657b3086c12b125479e16eb8bc0a160e50cd | |
| parent | 87009d43aefecf2cb51b2d97b90eae67e2f0ae66 (diff) | |
| download | gcc-5b8b9057447820207979224e4aa151b2a6d19d00.zip gcc-5b8b9057447820207979224e4aa151b2a6d19d00.tar.gz gcc-5b8b9057447820207979224e4aa151b2a6d19d00.tar.bz2 | |
g-debpoo.adb (Is_Valid): Correctly compute Offset using Integer_Address arithmetic, as in Set_Valid.
2006-10-31 Vincent Celier <celier@adacore.com>
* g-debpoo.adb (Is_Valid): Correctly compute Offset using
Integer_Address arithmetic, as in Set_Valid.
From-SVN: r118275
| -rw-r--r-- | gcc/ada/g-debpoo.adb | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/gcc/ada/g-debpoo.adb b/gcc/ada/g-debpoo.adb index 1854623..770f731 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 |