diff options
| author | Claire Dross <dross@adacore.com> | 2018-10-09 15:05:39 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-10-09 15:05:39 +0000 |
| commit | ead467895da700cb029103ba3dda1089dbf77b1f (patch) | |
| tree | e2a336f02ed352354c4ebae2a4cfac26967ebebb /gcc | |
| parent | 8f0303e751226c85f3556bda0d19091ceef61a6a (diff) | |
| download | gcc-ead467895da700cb029103ba3dda1089dbf77b1f.zip gcc-ead467895da700cb029103ba3dda1089dbf77b1f.tar.gz gcc-ead467895da700cb029103ba3dda1089dbf77b1f.tar.bz2 | |
[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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | 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 7070293..518fd0e 100644 --- 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 88e1aea..22bb115 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 |