diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-03-06 12:50:04 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-25 09:44:16 +0200 |
| commit | 0d569d97504d75e0499ce29ad64226629f67645a (patch) | |
| tree | cb9b3ff61a57cea756437590d76f151bb8d81099 /zlib/old | |
| parent | d1e196d39e592d053d2528b11874a6c228932431 (diff) | |
| download | gcc-0d569d97504d75e0499ce29ad64226629f67645a.zip gcc-0d569d97504d75e0499ce29ad64226629f67645a.tar.gz gcc-0d569d97504d75e0499ce29ad64226629f67645a.tar.bz2 | |
ada: Tune handling of attributes Old in contract Exceptional_Cases
Contract Exceptional_Cases allows formal parameters to appear *in*
prefixes of attributes Old, but the code only allowed them to appear
*as* prefixes of those attributes.
For example, we now accetp expressions like "X.all'Old" that were
previously rejected.
gcc/ada/
* sem_res.adb (Resolve_Entity_Name): Tune handling of formal parameters
in contract Exceptional_Cases.
Diffstat (limited to 'zlib/old')
0 files changed, 0 insertions, 0 deletions