diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-03-26 20:31:21 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-15 04:04:29 -0400 |
| commit | 0acc5ebd5c33e719d5ab24608af9a489dc204729 (patch) | |
| tree | 8a2b3c51cd191870e240a30a386a514422c6c45f | |
| parent | f142237e2f70fe336b4fbe02c8f10d60ab38df67 (diff) | |
| download | gcc-0acc5ebd5c33e719d5ab24608af9a489dc204729.zip gcc-0acc5ebd5c33e719d5ab24608af9a489dc204729.tar.gz gcc-0acc5ebd5c33e719d5ab24608af9a489dc204729.tar.bz2 | |
[Ada] Do not expect Global or Depends on single protected objects
2020-06-15 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* contracts.adb (Analyze_Object_Contract): Do not expect
Global/Depends on single protected units.
| -rw-r--r-- | gcc/ada/contracts.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb index 300bbf9..ae85d2c 100644 --- a/gcc/ada/contracts.adb +++ b/gcc/ada/contracts.adb @@ -1067,10 +1067,10 @@ package body Contracts is Analyze_External_Property_In_Decl_Part (Prag, NC_Val); end if; - -- The anonymous object created for a single concurrent type carries - -- pragmas Depends and Globat of the type. + -- The anonymous object created for a single task type carries + -- pragmas Depends and Global of the type. - if Is_Single_Concurrent_Object (Obj_Id) then + if Is_Single_Task_Object (Obj_Id) then -- Analyze Global first, as Depends may mention items classified -- in the global categorization. |