From 9826f1e019f6abc5f4960dcfd8f7fcf83dc820dc Mon Sep 17 00:00:00 2001 From: Vadim Godunko Date: Wed, 15 Feb 2023 12:22:27 +0400 Subject: [PATCH] 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. --- gcc/ada/libgnat/a-coinho__shared.adb | 4 ---- 1 file changed, 4 deletions(-) diff --git a/gcc/ada/libgnat/a-coinho__shared.adb b/gcc/ada/libgnat/a-coinho__shared.adb index 367089048afb..f49ac4ad8176 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 -- 2.47.2