diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-11-28 23:01:31 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-12-19 15:27:49 +0100 |
| commit | 9bbd4af0536dd137da1420f6898736fa5a57fda0 (patch) | |
| tree | 109ce38be6d35efa9e4479a54ff6526f5dc99b06 /gcc/ada/sem_ch3.adb | |
| parent | 80a63cc744e9f16ace1e007f8973e97448742335 (diff) | |
| download | gcc-9bbd4af0536dd137da1420f6898736fa5a57fda0.zip gcc-9bbd4af0536dd137da1420f6898736fa5a57fda0.tar.gz gcc-9bbd4af0536dd137da1420f6898736fa5a57fda0.tar.bz2 | |
ada: Ignore unconstrained components as inputs for Depends
The current wording of SPARK RM 6.1.5(5) about the inputs for the
Depends contract doesn't mention "a record with at least one
unconstrained component".
gcc/ada/
* sem_prag.adb (Is_Unconstrained_Or_Tagged_Item): Update comment
and body.
Diffstat (limited to 'gcc/ada/sem_ch3.adb')
0 files changed, 0 insertions, 0 deletions