diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-11-16 15:21:20 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-12-14 10:51:49 -0500 |
| commit | efec136240f464eaa89d75c3d68f1f51627e931d (patch) | |
| tree | b0388a7a801887f73f9430c97a2ea2373d6af38f /gcc/gcov.c | |
| parent | ae8c56262d635eefdb32fc4e1b8d896453348c00 (diff) | |
| download | gcc-efec136240f464eaa89d75c3d68f1f51627e931d.zip gcc-efec136240f464eaa89d75c3d68f1f51627e931d.tar.gz gcc-efec136240f464eaa89d75c3d68f1f51627e931d.tar.bz2 | |
[Ada] Fix analysis of access objects in Depends contracts
gcc/ada/
* sem_prag.adb (Find_Role): Constant object of
access-to-constant and access-to-subprogram types are not
writable.
(Collect_Subprogram_Inputs_Outputs): In-parameters of
access-to-variable type can act as outputs of the Depends
contracts.
Diffstat (limited to 'gcc/gcov.c')
0 files changed, 0 insertions, 0 deletions