ada: Adjust again address arithmetics in System.Dwarf_Lines
commit5825635336fec18a26cd17cf47ccf97ed8eb2756
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 24 Jul 2023 13:02:25 +0000 (24 15:02 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 3 Aug 2023 12:07:36 +0000 (3 14:07 +0200)
treef6fcd218003a53e362b7faaa6c86d4af67871b19
parent46c8c225455273ce7f7da7cc5707aed54f23e78d
ada: Adjust again address arithmetics in System.Dwarf_Lines

Using the operator of System.Storage_Elements has introduced a range check
that may be tripped on, so this removes the intermediate conversion to the
Storage_Count subtype that is responsible for it.

gcc/ada/

* libgnat/s-dwalin.adb ("-"): New subtraction operator.
(Enable_Cache): Use it to compute the offset.
(Symbolic_Address): Likewise.
gcc/ada/libgnat/s-dwalin.adb