diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-10-03 23:16:19 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-04 14:47:23 +0100 |
| commit | da1207fff99c4c20051d6f5e0f567da4335fc9a4 (patch) | |
| tree | 80c69f6329f0fcb3b51dc8afa16e960f895da6ad | |
| parent | 8080a1b64ae6030bb85ce88486dc2447d3063b09 (diff) | |
| download | gcc-da1207fff99c4c20051d6f5e0f567da4335fc9a4.zip gcc-da1207fff99c4c20051d6f5e0f567da4335fc9a4.tar.gz gcc-da1207fff99c4c20051d6f5e0f567da4335fc9a4.tar.bz2 | |
ada: Reject expanded global names in lock-free protected objects
Lock-free expansion of protected subprograms is only possible when there
are no references to global assignable objects. We only detected such
references when they appeared as direct names, but we must similarly
detect expanded names.
gcc/ada/
* sem_ch9.adb (Satisfies_Lock_Free_Requirements): Detect
references via expanded names.
| -rw-r--r-- | gcc/ada/sem_ch9.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/sem_ch9.adb b/gcc/ada/sem_ch9.adb index f2a5901..5dee216 100644 --- a/gcc/ada/sem_ch9.adb +++ b/gcc/ada/sem_ch9.adb @@ -463,7 +463,7 @@ package body Sem_Ch9 is -- References - elsif Kind = N_Identifier + elsif Kind in N_Identifier | N_Expanded_Name and then Present (Entity (N)) then declare @@ -564,7 +564,7 @@ package body Sem_Ch9 is -- reference only one component of the protected type, plus -- the type of the component must support atomic operation. - if Kind = N_Identifier + if Kind in N_Identifier | N_Expanded_Name and then Present (Entity (N)) then declare |