mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 08:10:26 +08:00
Code Issues Packages Projects Releases Wiki Activity

[Ada] Functional_Vectors: remove default value for max size

Browse Source 
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
This commit is contained in:
Claire Dross 2018-10-09 15:05:39 +00:00 committed by Pierre-Marie de Rodat
parent 8f0303e751
commit ead467895d
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ada/ChangeLog
View File

@ -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,

3
gcc/ada/libgnat/a-cfinve.ads
View File

@ -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