projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 05894d1) | patch
ada: Accept aspects Global and Depends on abstract subprograms
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 21 Nov 2022 10:31:29 +0000 (11:31 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 22 Nov 2022 12:34:51 +0000 (13:34 +0100)
commit61351ab96a4dfa0884c8b1a53342b97915fb5dd7
tree97d4f2267286ec550a7863a14300d623fe0c993atree | snapshot
parent05894d1c5c136fe3f8a36cc33cc750c3f5fb6283commit | diff
ada: Accept aspects Global and Depends on abstract subprograms

Aspects Global and Depends are now allowed on abstract subprograms
(as substitutes for Global'Class and Depends'Class).

This patch implements the recently modified rules SPARK RM 6.1.2(2-3).
The behavior for Contract_Cases and aspects on null subprograms stays
as it was.

gcc/ada/

* sem_prag.adb (Analyze_Depends_Global): Accept aspects on
abstract subprograms.
gcc/ada/sem_prag.adb diff | blob | history
Domain: System / Toolchain;