diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-06-17 07:41:34 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-15 05:39:06 -0400 |
| commit | 40486f926ce9f5c09d6211244c2d8dc46b94f03f (patch) | |
| tree | 3fd37c5ab0fe12c67918b192044194ef75222704 /gcc/ada/libgnat/interfac.ads | |
| parent | d43123ee06f0cef47ffcacad8f6c9f9d753c1841 (diff) | |
| download | gcc-40486f926ce9f5c09d6211244c2d8dc46b94f03f.zip gcc-40486f926ce9f5c09d6211244c2d8dc46b94f03f.tar.gz gcc-40486f926ce9f5c09d6211244c2d8dc46b94f03f.tar.bz2 | |
[Ada] AI12-0385 Predefined shifts and rotates should be static
gcc/ada/
* Makefile.rtl: Add target pair for interfac.ads.
* libgnat/interfac.ads: Add a comment.
* libgnat/interfac__2020.ads: New, used for bootstrap purposes.
* sem_util.adb (Is_Static_Function): Always return False for pre
Ada 2020 to e.g. ignore the Static aspect in Interfaces for
Ada < 2020.
Diffstat (limited to 'gcc/ada/libgnat/interfac.ads')
| -rw-r--r-- | gcc/ada/libgnat/interfac.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/libgnat/interfac.ads b/gcc/ada/libgnat/interfac.ads index 9fe7aac..9e7dfba 100644 --- a/gcc/ada/libgnat/interfac.ads +++ b/gcc/ada/libgnat/interfac.ads @@ -33,6 +33,8 @@ -- -- ------------------------------------------------------------------------------ +-- This is the compiler version of this unit + pragma Compiler_Unit_Warning; package Interfaces is |