diff options
| author | Maroua Maalej <maalej@adacore.com> | 2018-09-26 09:16:23 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-09-26 09:16:23 +0000 |
| commit | f0f2d1fc033cbe56098f7261d91ef6a8130d0b27 (patch) | |
| tree | 26ac838f00f0d5e2e8254bd60e42f6eabc0ece9b /gcc/ada/contracts.adb | |
| parent | 98f57e4ca3ee558c5a88d471019de0cf005967e9 (diff) | |
| download | gcc-f0f2d1fc033cbe56098f7261d91ef6a8130d0b27.zip gcc-f0f2d1fc033cbe56098f7261d91ef6a8130d0b27.tar.gz gcc-f0f2d1fc033cbe56098f7261d91ef6a8130d0b27.tar.bz2 | |
[Ada] SPARK: update borrowing effects for IN parameters
2018-09-26 Maroua Maalej <maalej@adacore.com>
gcc/ada/
* sem_spark.adb (Check_Param_In, Setup_Parameter_Or_Global):
Change the operation associated to assigning to an IN parameter.
In SPARK, IN access-to-variable is an observe operation for a
function, and borrow operation for a procedure.
From-SVN: r264601
Diffstat (limited to 'gcc/ada/contracts.adb')
0 files changed, 0 insertions, 0 deletions