aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2023-02-24 19:10:00 +0100
committerMarc Poulhiès <poulhies@adacore.com>2023-05-23 09:59:06 +0200
commita0cc548a8a1b2176bf2f51d1831a4ac6cc255b64 (patch)
tree076040473905b022d3978c2b53719e8d8a057e60
parenta550a0cf91ddad3b331bed5e694e31b34d690c95 (diff)
downloadgcc-a0cc548a8a1b2176bf2f51d1831a4ac6cc255b64.zip
gcc-a0cc548a8a1b2176bf2f51d1831a4ac6cc255b64.tar.gz
gcc-a0cc548a8a1b2176bf2f51d1831a4ac6cc255b64.tar.bz2
ada: Fix minor address arithmetic issues in System.Dwarf_Lines
Offset calculations should use the operator of System.Storage_Elements. gcc/ada/ * libgnat/s-dwalin.adb (Enable_Cache): Use the subtract operator of System.Storage_Elements to compute the offset. (Symbolic_Address): Likewise.
-rw-r--r--gcc/ada/libgnat/s-dwalin.adb12
1 files changed, 6 insertions, 6 deletions
diff --git a/gcc/ada/libgnat/s-dwalin.adb b/gcc/ada/libgnat/s-dwalin.adb
index d38bc05..d35d03a 100644
--- a/gcc/ada/libgnat/s-dwalin.adb
+++ b/gcc/ada/libgnat/s-dwalin.adb
@@ -1542,7 +1542,7 @@ package body System.Dwarf_Lines is
exit when Ar_Start = Null_Address and Ar_Len = 0;
Len := uint32 (Ar_Len);
- Start := uint32 (Address'(Ar_Start - C.Low));
+ Start := uint32 (Storage_Count'(Ar_Start - C.Low));
-- Search START in the array
@@ -1762,7 +1762,7 @@ package body System.Dwarf_Lines is
if C.Cache /= null then
declare
- Addr_Off : constant uint32 := uint32 (Address'(Addr - C.Low));
+ Off : constant uint32 := uint32 (Storage_Count'(Addr - C.Low));
First, Last, Mid : Natural;
begin
@@ -1772,17 +1772,17 @@ package body System.Dwarf_Lines is
while First <= Last loop
Mid := First + (Last - First) / 2;
- if Addr_Off < C.Cache (Mid).First then
+ if Off < C.Cache (Mid).First then
Last := Mid - 1;
- elsif Addr_Off >= C.Cache (Mid).First + C.Cache (Mid).Size then
+ elsif Off >= C.Cache (Mid).First + C.Cache (Mid).Size then
First := Mid + 1;
else
exit;
end if;
end loop;
- if Addr_Off >= C.Cache (Mid).First
- and then Addr_Off < C.Cache (Mid).First + C.Cache (Mid).Size
+ if Off >= C.Cache (Mid).First
+ and then Off < C.Cache (Mid).First + C.Cache (Mid).Size
then
Line_Offset := Offset (C.Cache (Mid).Line);
S := Read_Symbol (C.Obj.all, Offset (C.Cache (Mid).Sym));