diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-01-06 12:47:28 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-05-04 05:17:33 -0400 |
| commit | 7f9f8889fedbe3cbba3cad870508bfc0336b3940 (patch) | |
| tree | c77194f8fdab01bdb733208e6c9cc4e5e9d6a86b /gcc/tree-inline.h | |
| parent | 7367cd5949ec066811979dbb60b51cbcc6c123b3 (diff) | |
| download | gcc-7f9f8889fedbe3cbba3cad870508bfc0336b3940.zip gcc-7f9f8889fedbe3cbba3cad870508bfc0336b3940.tar.gz gcc-7f9f8889fedbe3cbba3cad870508bfc0336b3940.tar.bz2 | |
[Ada] Fix handling of access-to-variable objects in Global and Depends
gcc/ada/
* sem_prag.ads (Collect_Subprogram_Inputs_Outputs): Update
comment; this routine is no longer used by GNATprove.
* sem_prag.adb (Find_Role): The IN parameter is on output only
when it belongs to non-function; also, the otherwise constant
object can only be written by a non-function.
(Collect_Global_Item): The IN parameter can only be written when
it belongs to non-function; also, unnest this check to make it
easier to read.
Diffstat (limited to 'gcc/tree-inline.h')
0 files changed, 0 insertions, 0 deletions