From ba7fc146d71630c4236c0fcd160f8e5291d2b8f8 Mon Sep 17 00:00:00 2001 From: charlet Date: Fri, 5 Jul 2013 10:49:52 +0000 Subject: 2013-07-05 Claire Dross * a-cfdlli.ads, a-cfhama.ads, a-cfhase.ads, a-cforma.ads, a-cforse.ads, a-cofove.ads: Add preconditions when needed + container types are not tagged any more. 2013-07-05 Thomas Quinot * freeze.adb (Freeze_Entity): For an object with captured initialization statements, do not remove Init_Stmts from the enclosing list, as Freeze_All might rely on it to know where to stop freezing. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@200708 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/a-cfdlli.ads | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) (limited to 'gcc/ada/a-cfdlli.ads') diff --git a/gcc/ada/a-cfdlli.ads b/gcc/ada/a-cfdlli.ads index 8ea3c4c348d..bfa8ffbcb90 100644 --- a/gcc/ada/a-cfdlli.ads +++ b/gcc/ada/a-cfdlli.ads @@ -153,15 +153,11 @@ package Ada.Containers.Formal_Doubly_Linked_Lists is procedure Delete_First (Container : in out List; - Count : Count_Type := 1) - with - Pre => not Is_Empty (Container); + Count : Count_Type := 1); procedure Delete_Last (Container : in out List; - Count : Count_Type := 1) - with - Pre => not Is_Empty (Container); + Count : Count_Type := 1); procedure Reverse_Elements (Container : in out List); -- cgit v1.2.1