diff options
| author | Claire Dross <dross@adacore.com> | 2019-08-19 08:35:53 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-19 08:35:53 +0000 |
| commit | ef1c6c0e5499a83be7f86ccf64e3eb8814137cc9 (patch) | |
| tree | 81016f920eb043f5bcee222144f2c74e9403211e /gcc/ada/sem.adb | |
| parent | 123f02156122ea13f3bfabdef2b6385a25527158 (diff) | |
| download | gcc-ef1c6c0e5499a83be7f86ccf64e3eb8814137cc9.zip gcc-ef1c6c0e5499a83be7f86ccf64e3eb8814137cc9.tar.gz gcc-ef1c6c0e5499a83be7f86ccf64e3eb8814137cc9.tar.bz2 | |
[Ada] Allow reading a borrowed object inside a call to a pledge function
No impact on regular compilation.
2019-08-19 Claire Dross <dross@adacore.com>
gcc/ada/
* sem_spark.ads, sem_spark.adb (Is_Pledge_Function): New
parameter of the generic. Function used to decide whether a
function is a pledge function.
(Check_Not_Borrowed): Disable check inside the second parameter
of a pledge function for the path borrowed by the first
parameter. Also disable checks for entities inside a Global
contract.
From-SVN: r274644
Diffstat (limited to 'gcc/ada/sem.adb')
0 files changed, 0 insertions, 0 deletions