diff options
| author | Yannick Moy <moy@adacore.com> | 2020-09-30 10:50:24 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-24 05:16:01 -0500 |
| commit | 91592d05cd924351d99ca8dd8f01df77d74170d9 (patch) | |
| tree | 50ff6b9ce47412aa59f67dca44a21ad47077618d /libcpp/expr.c | |
| parent | ac9ed5cb2659c9a4049dffd58bc120762d140744 (diff) | |
| download | gcc-91592d05cd924351d99ca8dd8f01df77d74170d9.zip gcc-91592d05cd924351d99ca8dd8f01df77d74170d9.tar.gz gcc-91592d05cd924351d99ca8dd8f01df77d74170d9.tar.bz2 | |
[Ada] Handle correctly current instance of PO in local subprogram Global
gcc/ada/
* sem_prag.adb (Analyze_Global_Item): Handle specially the
current instance of a PO.
* sem_util.ads (Is_Effectively_Volatile,
Is_Effectively_Volatile_For_Reading): Add parameter
Ignore_Protected.
* sem_util.adb (Is_Effectively_Volatile,
Is_Effectively_Volatile_For_Reading): Add parameter
Ignore_Protected to compute the query results ignoring protected
objects/types.
(Is_Effectively_Volatile_Object,
Is_Effectively_Volatile_Object_For_Reading): Adapt to new
signature.
Diffstat (limited to 'libcpp/expr.c')
0 files changed, 0 insertions, 0 deletions