diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-03-08 17:02:16 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-17 10:21:03 +0200 |
| commit | d77c12eb33c7a0a461f6928a8fb303378aaf2e2f (patch) | |
| tree | 20388ad02ad409002de1f0c179de382339476f35 /libcpp | |
| parent | 485d595d22c7800eb214034c9b58211ab232dbbf (diff) | |
| download | gcc-d77c12eb33c7a0a461f6928a8fb303378aaf2e2f.zip gcc-d77c12eb33c7a0a461f6928a8fb303378aaf2e2f.tar.gz gcc-d77c12eb33c7a0a461f6928a8fb303378aaf2e2f.tar.bz2 | |
ada: Expose utility routine for processing of Depends contracts in SPARK
Routine Is_Unconstrained_Or_Tagged_Item is now used both in the GNAT
frontend (for checking legality of Depends clauses) and in the GNATprove
backend (for representing implicit inputs in flow graphs).
gcc/ada/
* sem_prag.adb (Is_Unconstrained_Or_Tagged_Item): Move to
Sem_Util, so it can be used from GNATprove.
* sem_util.ads (Is_Unconstrained_Or_Tagged_Item): Move from
Sem_Prag; spec.
* sem_util.adb (Is_Unconstrained_Or_Tagged_Item): Move from
Sem_Prag; body.
Diffstat (limited to 'libcpp')
0 files changed, 0 insertions, 0 deletions