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 /gcc/expr.cc | |
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.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions