diff options
Diffstat (limited to 'gcc/ada/sem_prag.ads')
| -rw-r--r-- | gcc/ada/sem_prag.ads | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index fd7a0cd..e166481 100644 --- a/gcc/ada/sem_prag.ads +++ b/gcc/ada/sem_prag.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2020, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2021, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -63,6 +63,7 @@ package Sem_Prag is Pragma_Favor_Top_Level => True, Pragma_Ghost => True, Pragma_Global => True, + Pragma_GNAT_Annotate => True, Pragma_Import => True, Pragma_Independent => True, Pragma_Independent_Components => True, @@ -115,7 +116,6 @@ package Sem_Prag is Pragma_Type_Invariant => True, Pragma_Unchecked_Union => True, Pragma_Universal_Aliasing => True, - Pragma_Universal_Data => True, Pragma_Unmodified => True, Pragma_Unreferenced => True, Pragma_Unreferenced_Objects => True, @@ -360,9 +360,9 @@ package Sem_Prag is Subp_Outputs : in out Elist_Id; Global_Seen : out Boolean); -- Subsidiary to the analysis of pragmas Depends, Global, Refined_Depends - -- and Refined_Global. The routine is also used by GNATprove. Collect all - -- inputs and outputs of subprogram Subp_Id in lists Subp_Inputs (inputs) - -- and Subp_Outputs (outputs). The inputs and outputs are gathered from: + -- and Refined_Global. Collect all inputs and outputs of subprogram Subp_Id + -- in lists Subp_Inputs (inputs) and Subp_Outputs (outputs). The inputs and + -- outputs are gathered from: -- 1) The formal parameters of the subprogram -- 2) The generic formal parameters of the generic subprogram -- 3) The current instance of a concurrent type |