From ead467895da700cb029103ba3dda1089dbf77b1f Mon Sep 17 00:00:00 2001 From: Claire Dross Date: Tue, 9 Oct 2018 15:05:39 +0000 Subject: [PATCH] [Ada] Functional_Vectors: remove default value for max size 2018-10-09 Claire Dross gcc/ada/ * libgnat/a-cfinve.ads: Remove default value for Max_Size_In_Storage_Elements as it was not supported in SPARK. From-SVN: r264969 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/libgnat/a-cfinve.ads | 3 +-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 70702933f24..518fd0e3ece 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2018-10-09 Claire Dross + + * libgnat/a-cfinve.ads: Remove default value for + Max_Size_In_Storage_Elements as it was not supported in SPARK. + 2018-10-09 Ed Schonberg * exp_ch6.adb (Add_Call_By_Copy_Node, diff --git a/gcc/ada/libgnat/a-cfinve.ads b/gcc/ada/libgnat/a-cfinve.ads index 88e1aead569..22bb115cb87 100644 --- a/gcc/ada/libgnat/a-cfinve.ads +++ b/gcc/ada/libgnat/a-cfinve.ads @@ -38,8 +38,7 @@ with Ada.Containers.Functional_Vectors; generic type Index_Type is range <>; type Element_Type (<>) is private; - Max_Size_In_Storage_Elements : Natural := - Element_Type'Max_Size_In_Storage_Elements; + Max_Size_In_Storage_Elements : Natural; -- Maximum size of Vector elements in bytes. This has the same meaning as -- in Ada.Containers.Bounded_Holders, with the same restrictions. Note that -- setting this too small can lead to erroneous execution; see comments in -- 2.11.4.GIT