[Ada] Functional_Vectors: remove default value for max size

2018-10-09  Claire Dross  <dross@adacore.com>

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

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 70702933f24d1ec78d3004e70976f0bab8728351..518fd0e3eceb29c083c5fb9574a1235d23dc508d 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2018-10-09  Claire Dross  <dross@adacore.com>
+
+       * 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  <schonberg@adacore.com>
 
        * 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 88e1aead569b545d920afecb833e1f6055b0aea7..22bb115cb8711052664815247a40dc2fb8bd25ec 100644 (file)
--- 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