diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2018-06-11 09:18:44 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-06-11 09:18:44 +0000 |
| commit | 24d124a42aefdb882f393f6c2211d9c9c3914c70 (patch) | |
| tree | 09b1d39b3ba5a4b76cea4abe16e1432d92f24b31 /gcc/ada | |
| parent | 63254915a9dc280e52f033da0fe40441727758c0 (diff) | |
| download | gcc-24d124a42aefdb882f393f6c2211d9c9c3914c70.zip gcc-24d124a42aefdb882f393f6c2211d9c9c3914c70.tar.gz gcc-24d124a42aefdb882f393f6c2211d9c9c3914c70.tar.bz2 | |
[Ada] Make GNAT.Array_Split a preelaborable unit
This patch makes GNAT.Array_Split a preelaborable unit. As a result, it can be
withed by other preelaborated untis.
2018-06-11 Hristian Kirtchev <kirtchev@adacore.com>
gcc/ada/
* libgnat/g-arrspl.ads: Add pragma Preelaborate.
gcc/testsuite/
* gnat.dg/gnat_array_split1.adb, gnat.dg/gnat_array_split1.ads: New
testcase.
From-SVN: r261419
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/libgnat/g-arrspl.ads | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 97dbbf3..85b344e 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2018-06-11 Hristian Kirtchev <kirtchev@adacore.com> + + * libgnat/g-arrspl.ads: Add pragma Preelaborate. + 2018-06-11 Arnaud Charlet <charlet@adacore.com> * exp_ch4.adb (Expand_Record_Equality): Remove extraneous "True and diff --git a/gcc/ada/libgnat/g-arrspl.ads b/gcc/ada/libgnat/g-arrspl.ads index 62d4042..efcc2d4 100644 --- a/gcc/ada/libgnat/g-arrspl.ads +++ b/gcc/ada/libgnat/g-arrspl.ads @@ -56,6 +56,7 @@ generic -- Returns True if Item is found in Set, False otherwise package GNAT.Array_Split is + pragma Preelaborate; Index_Error : exception; -- Raised by all operations below if Index > Field_Count (S) |