diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-10-17 08:52:30 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-17 10:52:30 +0200 |
| commit | 99bd87dd981acf6e5cc654a9b39e5863ad5ee850 (patch) | |
| tree | 76b688b924a361d0edec52dd4f3a30948ce9e538 /gcc/ada/aspects.ads | |
| parent | dc06dd83660010f2ed70c6205a0876f91553a30e (diff) | |
| download | gcc-99bd87dd981acf6e5cc654a9b39e5863ad5ee850.zip gcc-99bd87dd981acf6e5cc654a9b39e5863ad5ee850.tar.gz gcc-99bd87dd981acf6e5cc654a9b39e5863ad5ee850.tar.bz2 | |
aspects.ads: Documentation fix, aspect Lock_Free does have a corresponding pragma.
2014-10-17 Robert Dewar <dewar@adacore.com>
* aspects.ads: Documentation fix, aspect Lock_Free does have a
corresponding pragma.
* gnat_rm.texi: Document implementation defined boolean aspects
as boolean.
From-SVN: r216378
Diffstat (limited to 'gcc/ada/aspects.ads')
| -rw-r--r-- | gcc/ada/aspects.ads | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/gcc/ada/aspects.ads b/gcc/ada/aspects.ads index a7477be..3410b00 100644 --- a/gcc/ada/aspects.ads +++ b/gcc/ada/aspects.ads @@ -178,6 +178,7 @@ package Aspects is Aspect_Inline, Aspect_Inline_Always, -- GNAT Aspect_Interrupt_Handler, + Aspect_Lock_Free, -- GNAT Aspect_No_Return, Aspect_Pack, Aspect_Persistent_BSS, -- GNAT @@ -194,12 +195,7 @@ package Aspects is Aspect_Unreferenced, -- GNAT Aspect_Unreferenced_Objects, -- GNAT Aspect_Volatile, - Aspect_Volatile_Components, - - -- Aspects that have a static boolean value but don't correspond to - -- pragmas with a single argument that it is the entity in question. - - Aspect_Lock_Free); -- GNAT + Aspect_Volatile_Components); subtype Aspect_Id_Exclude_No_Aspect is Aspect_Id range Aspect_Id'Succ (No_Aspect) .. Aspect_Id'Last; |