diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-03-01 16:39:31 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-16 04:43:04 -0400 |
| commit | 07b7dc09b21d1a2f000f2861a87b017b764b38b4 (patch) | |
| tree | be959e689cdd3fb00e55cd6adf0b0b0fbc4da815 /gcc/tree-ssa-loop-im.c | |
| parent | 207962b929cc771fd560c467f44efe8f9f679ac4 (diff) | |
| download | gcc-07b7dc09b21d1a2f000f2861a87b017b764b38b4.zip gcc-07b7dc09b21d1a2f000f2861a87b017b764b38b4.tar.gz gcc-07b7dc09b21d1a2f000f2861a87b017b764b38b4.tar.bz2 | |
[Ada] Fix detection of volatile expressions in restricted contexts
gcc/ada/
* sem_res.adb (Flag_Effectively_Volatile_Objects): Detect also
allocators within restricted contexts and not just entity names.
(Resolve_Actuals): Remove duplicated code for detecting
restricted contexts; it is now exclusively done in
Is_OK_Volatile_Context.
(Resolve_Entity_Name): Adapt to new parameter of
Is_OK_Volatile_Context.
* sem_util.ads, sem_util.adb (Is_OK_Volatile_Context): Adapt to
handle contexts both inside and outside of subprogram call
actual parameters.
(Within_Subprogram_Call): Remove; now handled by
Is_OK_Volatile_Context itself and its parameter.
Diffstat (limited to 'gcc/tree-ssa-loop-im.c')
0 files changed, 0 insertions, 0 deletions