diff options
| author | Jose Ruiz <ruiz@adacore.com> | 2024-03-07 11:20:03 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-20 09:47:02 +0200 |
| commit | bf941670685fd8d646ae8955c3bb086d1512bac2 (patch) | |
| tree | 9e1c2167ea2067dbc7e5cbf8c54385bcc9fb1462 /gcc/ada/doc/gnat_rm | |
| parent | bdf9ebb75880601bb67d63672d2e830005109f8e (diff) | |
| download | gcc-bf941670685fd8d646ae8955c3bb086d1512bac2.zip gcc-bf941670685fd8d646ae8955c3bb086d1512bac2.tar.gz gcc-bf941670685fd8d646ae8955c3bb086d1512bac2.tar.bz2 | |
ada: Implement representation aspect Max_Entry_Queue_Length
Enforce Max_Entry_Queue_Length (and its
synonym Max_Entry_Queue_Depth) when applied to individual
protected entries.
gcc/ada/
* exp_ch9.adb (Expand_N_Protected_Type_Declaration): Clarify
comments.
* sem_prag.adb (Analyze_Pragma): Check for duplicates
Max_Entry_Queue_Length, Max_Entry_Queue_Depth and Max_Queue_Length
for the same protected entry.
* sem_util.adb (Get_Max_Queue_Length): Take into account all three
representation aspects that can be used to set this restriction.
(Has_Max_Queue_Length): Likewise.
* doc/gnat_rm/implementation_defined_pragmas.rst:
(pragma Max_Queue_Length): Fix pragma in example.
* gnat_rm.texi: Regenerate.
Diffstat (limited to 'gcc/ada/doc/gnat_rm')
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index bcbd859..0661670 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -3771,7 +3771,7 @@ Pragma Max_Queue_Length Syntax:: - pragma Max_Entry_Queue (static_integer_EXPRESSION); + pragma Max_Queue_Length (static_integer_EXPRESSION); This pragma is used to specify the maximum callers per entry queue for |