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 | |
| 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')
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/libgnat/g-arrspl.ads | 1 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/gnat_array_split1.adb | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/gnat_array_split1.ads | 6 |
5 files changed, 21 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) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e9a5c15..9b5ecca 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-06-11 Hristian Kirtchev <kirtchev@adacore.com> + + * gnat.dg/gnat_array_split1.adb, gnat.dg/gnat_array_split1.ads: New + testcase. + 2018-06-11 Javier Miranda <miranda@adacore.com> * gnat.dg/prot4.adb: New testcase. diff --git a/gcc/testsuite/gnat.dg/gnat_array_split1.adb b/gcc/testsuite/gnat.dg/gnat_array_split1.adb new file mode 100644 index 0000000..edac820 --- /dev/null +++ b/gcc/testsuite/gnat.dg/gnat_array_split1.adb @@ -0,0 +1,5 @@ +-- { dg-do compile } + +package body GNAT_Array_Split1 is + procedure Dummy is null; +end GNAT_Array_Split1; diff --git a/gcc/testsuite/gnat.dg/gnat_array_split1.ads b/gcc/testsuite/gnat.dg/gnat_array_split1.ads new file mode 100644 index 0000000..9c3ea9f --- /dev/null +++ b/gcc/testsuite/gnat.dg/gnat_array_split1.ads @@ -0,0 +1,6 @@ +with GNAT.Array_Split; + +package GNAT_Array_Split1 is + pragma Preelaborate; + procedure Dummy; +end GNAT_Array_Split1; |