aboutsummaryrefslogtreecommitdiff
path: root/gcc/expr.cc
diff options
context:
space:
mode:
authorPiotr Trojanek <trojanek@adacore.com>2022-10-03 23:16:19 +0200
committerMarc Poulhiès <poulhies@adacore.com>2022-11-04 14:47:23 +0100
commitda1207fff99c4c20051d6f5e0f567da4335fc9a4 (patch)
tree80c69f6329f0fcb3b51dc8afa16e960f895da6ad /gcc/expr.cc
parent8080a1b64ae6030bb85ce88486dc2447d3063b09 (diff)
downloadgcc-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