diff options
| author | Vadim Godunko <godunko@adacore.com> | 2023-02-15 12:22:27 +0400 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-23 09:59:06 +0200 |
| commit | 9826f1e019f6abc5f4960dcfd8f7fcf83dc820dc (patch) | |
| tree | fb608860fcada77aa840a7da22d0898e2454027d | |
| parent | ae8f82fd03400fd7460745c13f81a7e740a8cdb7 (diff) | |
| download | gcc-9826f1e019f6abc5f4960dcfd8f7fcf83dc820dc.zip gcc-9826f1e019f6abc5f4960dcfd8f7fcf83dc820dc.tar.gz gcc-9826f1e019f6abc5f4960dcfd8f7fcf83dc820dc.tar.bz2 | |
ada: Remove unnecessary call to Detach.
Holder object is constant and protected from modification by tampering
rules.
gcc/ada/
* libgnat/a-coinho__shared.adb (Constant_Reference): Remove call
of Detach
(Query_Element): Likewise.
| -rw-r--r-- | gcc/ada/libgnat/a-coinho__shared.adb | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gcc/ada/libgnat/a-coinho__shared.adb b/gcc/ada/libgnat/a-coinho__shared.adb index 3670890..f49ac4a 100644 --- a/gcc/ada/libgnat/a-coinho__shared.adb +++ b/gcc/ada/libgnat/a-coinho__shared.adb @@ -149,8 +149,6 @@ package body Ada.Containers.Indefinite_Holders is raise Constraint_Error with "container is empty"; end if; - Detach (Container); - declare Ref : constant Constant_Reference_Type := (Element => Container.Reference.Element.all'Access, @@ -305,8 +303,6 @@ package body Ada.Containers.Indefinite_Holders is raise Constraint_Error with "container is empty"; end if; - Detach (Container); - B := B + 1; begin |